Topic
Program verification
1 - 2 of 2 Articles
-
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.
November 4, 2013 -
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.
September 11, 2013