Jason Franklin

	2012
14		Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan: Parametric Verification of Address Space Separation. POST 2012: 51-68
	2011
13		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)
12		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)
11		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
10		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
9		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
8		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)
	2009
7		Vijay Vasudevan, Jason Franklin, David G. Andersen, Amar Phanishayee, Lawrence Tan, Michael Kaminsky, Iulian Moraru: FAWNdamentally Power-efficient Clusters. HotOS 2009
6		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
5		David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan: FAWN: a fast array of wimpy nodes. SOSP 2009: 1-14
	2008
4		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
3		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
2		Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin: Compatibility Is Not Transparency: VMM Detection Myths and Realities. HotOS 2007
	2006
1		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

1	Keith Adams	[2]
2	David G. Andersen	[5] [7] [9] [11] [13]
3	David Brumley	[1]
4	Sagar Chaki	[10] [14]
5	Anupam Datta	[6] [8] [10] [12] [14]
6	Leendert van Doorn	[4]
7	Tal Garfinkel	[2]
8	Deepak Garg	[6] [8] [12]
9	Limin Jia	[12]
10	Michael Kaminsky	[5] [7] [9] [11] [13]
11	Dilsun Kirli Kaynar	[6] [8] [12]
12	Michael A. Kozuch (Michael Kozuch)	[11]
13	Mark Luk	[4]
14	Jonathan M. McCune	[4] [14]
15	Iulian Moraru	[7] [9] [11]
16	James Newsome	[1]
17	Vern Paxson	[3]
18	Adrian Perrig	[3] [4]
19	Amar Phanishayee	[5] [7] [13]
20	Padmanabhan Pillai	[11]
21	Stefan Savage	[3]
22	Arvind Seshadri	[4] [10]
23	Dawn Xiaodong Song (Dawn Song)	[1]
24	Lawrence Tan	[5] [7] [9] [11] [13]
25	Amit Vasudevan	[14]
26	Vijay Vasudevan	[5] [7] [9] [11] [13]
27	Andrew Warfield	[2]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page