Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jason Franklin
2010 – today
- 2012
[c9]Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan: Parametric Verification of Address Space Separation. POST 2012: 51-68- 2011
- [j4]David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan: FAWN: a fast array of wimpy nodes. Commun. ACM 54(7): 101-109 (2011)
- [j3]Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar: On Adversary Models and Compositional Security. IEEE Security & Privacy 9(3): 26-32 (2011)
- [j2]Vijay Vasudevan, David G. Andersen, Michael Kaminsky, Jason Franklin, Michael A. Kozuch, Iulian Moraru, Padmanabhan Pillai, Lawrence Tan: Challenges and opportunities for efficient computing with FAWN. Operating Systems Review 45(1): 34-44 (2011)
- 2010
- [j1]Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta: Compositional System Security with Interface-Confined Adversaries. Electr. Notes Theor. Comput. Sci. 265: 49-71 (2010)
- [c8]Vijay Vasudevan, David G. Andersen, Michael Kaminsky, Lawrence Tan, Jason Franklin, Iulian Moraru: Energy-efficient cluster computing with FAWN: workloads and implications. e-Energy 2010: 195-204
- [c7]Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri: Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. IEEE Symposium on Security and Privacy 2010: 365-379
2000 – 2009
- 2009
- [c6]Vijay Vasudevan, Jason Franklin, David G. Andersen, Amar Phanishayee, Lawrence Tan, Michael Kaminsky, Iulian Moraru: FAWNdamentally Power-efficient Clusters. HotOS 2009
- [c5]David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan: FAWN: a fast array of wimpy nodes. SOSP 2009: 1-14
- [c4]Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar: A Logic of Secure Systems and its Application to Trusted Computing. IEEE Symposium on Security and Privacy 2009: 221-236
- 2008
- [p1]Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, Leendert van Doorn: Towards Sound Detection of Virtual Machines. Botnet Detection 2008: 89-116
- 2007
- [c3]Jason Franklin, Adrian Perrig, Vern Paxson, Stefan Savage: An inquiry into the nature and causes of the wealth of internet miscreants. ACM Conference on Computer and Communications Security 2007: 375-388
- [c2]Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin: Compatibility Is Not Transparency: VMM Detection Myths and Realities. HotOS 2007
- 2006
- [c1]James Newsome, David Brumley, Jason Franklin, Dawn Xiaodong Song: Replayer: automatic protocol replay by binary analysis. ACM Conference on Computer and Communications Security 2006: 311-321
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:06 CET by the dblp team