Apr. 2015CryptographySlide 1 Cryptography A Lecture in CE Freshman Seminar Series: Ten Puzzling Problems in Computer Engineering.
A Semantics for Procedure Local Heaps and its Abstractions