Program verification

News Search Form (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