Security

V. Costan, L. Sarmenta, M. van Dijk, and S. Devadas, "The Trusted Execution Module: Commodity General-Purpose Trusted Computing", Eighth Smart Card Research and Advanced Application Conference, to appear in August 2008.

L. Sarmenta, M. van Dijk, J. Rhodes and S. Devadas, "Offline Count-Limited Certificates", Symposium on Applied Computing (Security Track), March 2008.

B. Gassend, D. Clarke, M. van Dijk, E. Torlak, P. Tuyls, and S. Devadas, "Controlled Physical Random Functions and Applications", ACM Transactions on Information Systems and Security, to appear in 2007.

M. van Dijk, J. Rhodes, L. Sarmenta, and S. Devadas, "Offline Untrusted Storage with Immediate Detection of Forking and Replay Attacks" , The Second ACM Workshop on Scalable Trusted Computing (STC'07), November 2007.

G. E. Suh and S. Devadas, "Physical Unclonable Functions for Device Authentication and Key Generation" , Proceedings of the 44th Design Automation Conference, June 2007.

L. Sarmenta, M. van Dijk, C. W. O'Donnell, J. Rhodes, and S. Devadas, "Virtual Monotonic Counters and Count-limited Objects using a TPM without a Trusted OS" , The First ACM Workshop on Scalable Trusted Computing (STC'06), November 2006.

G. E. Suh, C. W. O'Donnell, I. Sachdev, and S. Devadas, "Design and Implementation of the AEGIS Secure Processor Using Physical Random Functions" , Proceedings of the Int'l Symposium on Computer Architecture, June 2005.

D. Clarke, G. E. Suh, B. Gassend, A. Sudan, M. van Dijk and S. Devadas, "Toward Constant Bandwidth Overhead Memory Integrity Verification", Proceedings of the IEEE Symposium on Security and Privacy, May 2005.

G. E. Suh, J-W. Lee, D. Zhang, and S. Devadas, "Secure program execution via dynamic information flow tracking", Proceedings of ASPLOS 2004, October 2004.

J. Lee, D. Lim, B. Gassend, G. E. Suh, M. van Dijk and S. Devadas, "A Technique to Build a Secret Key in Integrated Circuits for Identification and Authentication Applications" , Proceedings of the VLSI Circuits Symposium, June 2004.

D. Clarke, S. Devadas, B. Gassend, M. van Dijk, and G. E. Suh, "Incremental Multiset Hash Functions and Their Application to Memory Integrity Checking", Proceedings of the 2003 Asiacrypt Conference, November 2003.

E. Suh, D. Clarke, B. Gassend, M. van Dijk, and S. Devadas, "AEGIS: Architectures for Tamper-Evident and Tamper-Resistant Processing", Proceedings of the 17th International Conference on Supercomputing, June 2003.

B. Gassend, D. Lim, D. Clarke, M. van Dijk, and S. Devadas, "Delay-Based Circuit Authentication and Applications", Proceedings of the 18th Symposium on Applied Computing (Extended Version in Concurrency and Computation: Practice and Experience), March 2003.

S. Raman, D. Clarke, M. Burnside, S. Devadas, and R. Rivest, "Access-Controlled Resource Discovery for Pervasive Networks", Proceedings of the 18th Symposium on Applied Computing (Extended Version in Concurrency and Computaton: Practice and Experience), March 2003.

B. Gassend, E. Suh, D. Clarke, M. van Dijk, and S. Devadas, "Caches and Merkle Trees for Efficient Memory Authentication", Proceedings of the 9th High Performance Computer Architecture Symposium, February 2003.

B. Gassend, D. Clarke, M. van Dijk, and S. Devadas, "Controlled Physical Random Functions", Proceedings of the 18th Annual Computer Security Applications Conference, December 2002.

B. Gassend, D. Clarke, M. van Dijk, and S. Devadas, "Silicon Physical Random Functions", Proceedings of the Computer and Communication Security Conference, November 2002.

D. Clarke, B. Gassend, T. Kotwal, M. Burnside, S. Devadas, and R. Rivest, "The Untrusted Computer Problem and Camera-Based Authentication", Proceedings of the International Conference on Pervasive Computing(Pervasive2002), August 2002.

M. Burnside, D. Clarke, A. Maywah, T. Mills, S. Devadas, and R. Rivest, "Proxy-Based Security Protocols in Networked Mobile Devices", Proceedings of the Symposium on Applied Computing (SAC'02), March 2002.

T. Mills, M. Burnside, J. Ankcorn, and S. Devadas, "A Proxy-Based Architecture for Secure Networked Wearable Devices ", CSG Technical Report , May 2001.