Tech Xplore: Researchers reveal a new computing platform that is provably secure even alongside software compromised I/O devices