Search the dblp DataBase

Publications of Author

1. David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
   Architectural Support for Copy and Tamper Resistant Software. [Citation Graph (0, 0)][DBLP]
   ASPLOS, 2000, pp:168-177 [Conf]
   
2. Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
   A Probabilistic Poly-Time Framework for Protocol Analysis. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer and Communications Security, 1998, pp:112-121 [Conf]
   
3. Kristina Toutanova, Mark Mitchell, Christopher D. Manning
   Optimizing Local Probability Models for Statistical Parsing. [Citation Graph (0, 0)][DBLP]
   ECML, 2003, pp:409-420 [Conf]
   
4. Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
   Probabilistic Polynomial-Time Equivalence and Security Analysis. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:776-793 [Conf]
   
5. John C. Mitchell, Mark Mitchell, Andre Scedrov
   A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time. [Citation Graph (0, 0)][DBLP]
   FOCS, 1998, pp:725-733 [Conf]
   
6. John C. Mitchell, Mark Mitchell, Ulrich Stern
   Automated analysis of cryptographic protocols using Mur-phi. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Security and Privacy, 1997, pp:141-151 [Conf]