| 2001 | ||
|---|---|---|
| 8 | Ulrich Stern, David L. Dill: Parallelizing the Murj Verifier. Formal Methods in System Design 18(2): 117-129 (2001) | |
| 1998 | ||
| 7 | Ulrich Stern, David L. Dill: Using Magnatic Disk Instead of Main Memory in the Murphi Verifier. CAV 1998: 172-183 | |
| 6 | EE | Vitaly Shmatikov, Ulrich Stern: Efficient Finite-State Analysis for Large Security Protocols. CSFW 1998: 106-115 |
| 1997 | ||
| 5 | Ulrich Stern, David L. Dill: Parallelizing the Murphi Verifier. CAV 1997: 256-278 | |
| 4 | EE | John C. Mitchell, Mark Mitchell, Ulrich Stern: Automated analysis of cryptographic protocols using Mur-phi. IEEE Symposium on Security and Privacy 1997: 141-151 |
| 1996 | ||
| 3 | Ulrich Stern, David L. Dill: A New Scheme for Memory-Efficient Probabilistic Verification. FORTE 1996: 333-348 | |
| 1995 | ||
| 2 | Ulrich Stern, David L. Dill: Improved probabilistic verification by hash compaction. CHARME 1995: 206-224 | |
| 1 | Ulrich Stern, David L. Dill: Automatic verification of the SCI cache coherence protocol. CHARME 1995: 21-34 | |
| 1 | David L. Dill | [1] [2] [3] [5] [7] [8] |
| 2 | John C. Mitchell | [4] |
| 3 | Mark Mitchell | [4] |
| 4 | Vitaly Shmatikov | [6] |