journal publications

• 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). (PDF)

conference publications

• E. Torlak, F. Chang and D. Jackson. Finding Minimal Unsatisfiable Cores of Declarative Specifications. Formal Methods (FM'08). Turku, Finland, May 2008. (PDF)
• E. Torlak and D. Jackson. Kodkod: A Relational Model Finder. Tools and Algorithms for Construction and Analysis of Systems (TACAS '07). Braga, Portugal, March 2007. (PDF)
• E. Torlak and G. Dennis. Kodkod for Alloy Users. First ACM Alloy Workshop. Portland, Oregon, November 2006. (PDF)
• J. Edwards, D. Jackson and E. Torlak. A Type System for Object Models. Foundations of Software Engineering (FSE '04). Newport Beach, CA, November 2004. (PDF)
• J. Edwards, D. Jackson, E. Torlak and V. Yeung. Subtypes for Constraint Decomposition. International Symposium on Software Testing and Analysis (ISSTA '04). Boston, MA, July 2004. (PDF)

technical reports

• E. Torlak and D. Jackson. The Design of a Relational Engine. MIT CSAIL Technical Report MIT-CSAIL-TR-2006-068, September 2006. (PDF)
• M. van Dijk, E. Torlak, B. Gassend and S. Devadas. A Generalized Two-Phase Analysis of Knowledge Flows in Security. CoRR, abs/cs/0605109, 2006. (PDF)
• E. Torlak, M. van Dijk, B. Gassend, D. Jackson and S. Devadas. Knowledge Flow Analysis for Security Protocols. MIT CSAIL Technical Report MIT-CSAIL-TR-2005-066, October 2005. (PDF)
• E. Torlak. Subtyping in Alloy. MIT Masters Thesis, May 2004. (PDF)