Provably-Secure Remote Memory Attestation for Heap Overflow Protection.

Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi

Browse the full SCN paper archive.