Mark Mitchell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1997–2000
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ASPLOS | Architectural Support for Copy and Tamper Resistant Software. | David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz |
| 1999 | FM | Probabilistic Polynomial-Time Equivalence and Security Analysis. | Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov |
| 1998 | CCS | A Probabilistic Poly-Time Framework for Protocol Analysis. | Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov |
| 1998 | FOCS | A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time. | John C. Mitchell, Mark Mitchell, Andre Scedrov |
| 1997 | SP | Automated analysis of cryptographic protocols using Mur-phi. | John C. Mitchell, Mark Mitchell, Ulrich Stern |