 | 2008 |
|---|
| 7 |       | Emina Torlak,
Felix Sheng-Ho Chang,
Daniel Jackson:
Finding Minimal Unsatisfiable Cores of Declarative Specifications.
FM 2008: 326-341 |
| 6 | | Blaise Gassend,
Marten van Dijk,
Dwaine E. Clarke,
Emina Torlak,
Srinivas Devadas,
Pim Tuyls:
Controlled physical random functions and applications.
ACM Trans. Inf. Syst. Secur. 10(4): (2008) |
| 2007 |
|---|
| 5 | | Emina Torlak,
Daniel Jackson:
Kodkod: A Relational Model Finder.
TACAS 2007: 632-647 |
| 2006 |
|---|
| 4 | | Marten van Dijk,
Emina Torlak,
Blaise Gassend,
Srinivas Devadas:
A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols
CoRR abs/cs/0605097: (2006) |
| 3 | | Emina Torlak,
Marten van Dijk,
Blaise Gassend,
Daniel Jackson,
Srinivas Devadas:
Knowledge Flow Analysis for Security Protocols
CoRR abs/cs/0605109: (2006) |
| 2004 |
|---|
| 2 | | Jonathan Edwards,
Daniel Jackson,
Emina Torlak,
Vincent Yeung:
Faster constraint solving with subtypes.
ISSTA 2004: 232-242 |
| 1 | | Jonathan Edwards,
Daniel Jackson,
Emina Torlak:
A type system for object models.
SIGSOFT FSE 2004: 189-199 |
