IACR News item: 21 July 2015
Alexandra Boldyreva, Taesoo Kim, Richard Lipton, Bogdan Warinschi
ePrint Report
We initiate the study of provably secure remote memory attestation. We present two protocols offering various efficiency and security trade-offs that detect the presence of injected malicious code in remotely- stored heap memory. While our solutions offer protection only against a specific class of attacks, our novel formal security definitions are general enough to cover a wide range of attacks and settings, and should be useful for further research on the subject.
Additional news items may be found on the IACR news page.