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.
Algorithmic incentives
A new twist on pioneering work done by MIT cryptographers almost 30 years ago could lead to better ways of structuring contracts.