Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi. Provably-Secure Remote Memory Attestation for Heap Overflow Protection. In Vassilis Zikas, Roberto De Prisco, editors, Security and Cryptography for Networks - 10th International Conference, SCN 2016, Amalfi, Italy, August 31 - September 2, 2016, Proceedings. Volume 9841 of Lecture Notes in Computer Science, pages 83-103, Springer, 2016. [doi]
Abstract is missing.