John C. Mitchell

Identifiers

• name variant John C. Mitchell 0.60 · backfill

Papers (6)

1. Privacy-Preserving Shortest Path Computation cs.CR · 2016 · author #4
2. A Symbolic Logic with Concrete Bounds for Cryptographic Protocols cs.LO · 2015 · author #3
3. Data Representation and Compression Using Linear-Programming Approximations cs.LG · 2015 · author #2
4. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) cs.PL · 2015 · author #4
5. Flexible Dynamic Information Flow Control in the Presence of Exceptions cs.CR · 2012 · author #3
6. A Learning-Based Approach to Reactive Security cs.CR · 2009 · author #4

Mentions

• 1511.07536 #3 · backfill · confidence 0.70 John C. Mitchell
• 1511.06606 #2 · backfill · confidence 0.70 John C. Mitchell
• 1501.04132 #4 · backfill · confidence 0.70 John C. Mitchell
• 1207.1457 #3 · backfill · confidence 0.70 John C. Mitchell
• 0912.1155 #4 · backfill · confidence 0.70 John C. Mitchell

Frequent Coauthors

• Alejandro Russo 2 shared papers
• Deian Stefan 2 shared papers
• Adam Barth 1 shared papers
• Anupam Datta 1 shared papers
• Arnab Roy 1 shared papers
• Benjamin I. P. Rubinstein 1 shared papers
• David J. Wu 1 shared papers
• David Mazi\`eres 1 shared papers
• Dawn Song 1 shared papers
• Edward Z. Yang 1 shared papers
• Hristo S. Paskov 1 shared papers
• J\'er\'emy Planul 1 shared papers
• Joe Zimmerman 1 shared papers
• Joseph Y. Halpern 1 shared papers
• Mukund Sundararajan 1 shared papers
• Peter L. Bartlett 1 shared papers
• Shayak Sen 1 shared papers
• Stefan Heule 1 shared papers
• Trevor J. Hastie 1 shared papers