How to program unreliable chips
A new language lets coders reason about the trade-off between fidelity of execution and power or time savings in the computers of the future.
Detecting program-tampering in the cloud
A new version of ‘zero-knowledge proofs’ allows cloud customers to verify the proper execution of their software with a single packet of data.