Jason Franklin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2006–2010
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SP | Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. | Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri |
| 2009 | HotOS | FAWNdamentally Power-efficient Clusters. | Vijay Vasudevan, Jason Franklin, David G. Andersen, Amar Phanishayee, Lawrence Tan, Michael Kaminsky, Iulian Moraru |
| 2009 | SP | A Logic of Secure Systems and its Application to Trusted Computing. | Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar |
| 2009 | SOSP | FAWN: a fast array of wimpy nodes. | David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan |
| 2007 | CCS | An inquiry into the nature and causes of the wealth of internet miscreants. | Jason Franklin, Adrian Perrig, Vern Paxson, Stefan Savage |
| 2007 | HotOS | Compatibility Is Not Transparency: VMM Detection Myths and Realities. | Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin |
| 2006 | CCS | Replayer: automatic protocol replay by binary analysis. | James Newsome, David Brumley, Jason Franklin, Dawn Xiaodong Song |