CISP - cisp.csail.mit.edu

CISP

Massachusetts Institute of Technology
Computer Science and Artificial Intelligence Laboratory

Research Abstracts

	Research Abstracts
Dwaine Clarke, Blaise Gassend, G. Edward Suh, Marten van Dijk, Srini Devadas	Hardware Mechanisms for Random Access Memory Integrity Verification
Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srini Devadas, Ron Rivest	The Untrusted Computer Problem and Camera Based Authentication
Blaise Gassend, Dwaine Clarke, Marten van Dijk, Srini Devadas	Controlled Physical Random Functions
Ajay Sudan, Dwaine Clarke, Blaise Gassend, G. Edward Suh, Maretn van Dijk, Srini Devadas	Hybrid Integrity Checking of Untrusted Storage
G. Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srini Devadas	The AEGIS Processor Architecture for Tamper-Evident and Tamper-Resistant Processing
Jae W. Lee, Fae Ghodrat, Blaise Gassend, Dwaine Clarke, Daihyun Lim, Srini Devadas	Silicon Physical Random Functions
Vladimir Kiriansky, Derek Bruening, Saman Amarasinghe	Secure Execution Environment via Program Shepherding
Daniel Preda, Adam Smith, Madhu Sudan	Quantum Computation, Communication, and Cryptography
David Woodruff, Marten van Dijk	Cryptography in an Unbounded Computational Model
David Woodruff, Marten van Dijk	Improving XTR
Ron Rivest, Sanjay Sarma, Simson Garfinkel, Stephen Weis	Privacy and Security in Radio-Frequency Identification Systems
Shafi Goldwassar, Yael Taumann	On the (In)-security of the Fiat-Shamir ”Paradigm”
Shafi Goldwassar, Erez Waisbard	Efficient Transformation ofWell Known Signature Schemes into Designated Confirmer Signature Schemes
Silvio Micali, Jonathan Herzog, Moses Liskov	Plaintext-Aware Encryption and Key Registration
Chris Peikert, Abhi Shelat, Adam Smith, Madhu Sudan	Coding Theory in Cryptography
Frans Kaashoek, Chris Lesniewski-Laas	SSL Splitting and Barnraising: Cooperative Caching with Authenticity Guarantees. 12th USENIX security