International Association for Cryptologic Research

International Association
for Cryptologic Research

IACR News item: 21 July 2015

Alexandra Boldyreva, Taesoo Kim, Richard Lipton, Bogdan Warinschi
ePrint Report 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.

Expand

Additional news items may be found on the IACR news page.