| 2003 |
|---|
| 6 | EE | Kristina Toutanova,
Mark Mitchell,
Christopher D. Manning:
Optimizing Local Probability Models for Statistical Parsing.
ECML 2003: 409-420 |
| 2000 |
|---|
| 5 | EE | David Lie,
Chandramohan A. Thekkath,
Mark Mitchell,
Patrick Lincoln,
Dan Boneh,
John C. Mitchell,
Mark Horowitz:
Architectural Support for Copy and Tamper Resistant Software.
ASPLOS 2000: 168-177 |
| 1999 |
|---|
| 4 | EE | Patrick Lincoln,
John C. Mitchell,
Mark Mitchell,
Andre Scedrov:
Probabilistic Polynomial-Time Equivalence and Security Analysis.
World Congress on Formal Methods 1999: 776-793 |
| 1998 |
|---|
| 3 | EE | Patrick Lincoln,
John C. Mitchell,
Mark Mitchell,
Andre Scedrov:
A Probabilistic Poly-Time Framework for Protocol Analysis.
ACM Conference on Computer and Communications Security 1998: 112-121 |
| 2 | EE | John C. Mitchell,
Mark Mitchell,
Andre Scedrov:
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time.
FOCS 1998: 725-733 |
| 1997 |
|---|
| 1 | 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 |
