Jason Franklin

According to our database, Jason Franklin authored at least 16 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Efficient spatiotemporal interpolation with spark machine learning.

Weitian Tong, Lixin Li, Xiaolu Zhou, Jason Franklin

Earth Sci. Informatics, 2019

2012

Parametric Verification of Address Space Separation.

Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan

Proceedings of the Principles of Security and Trust - First International Conference, 2012

2011

Challenges and opportunities for efficient computing with FAWN.

Vijay Vasudevan, David G. Andersen, Michael Kaminsky, Jason Franklin, Michael A. Kozuch, Iulian Moraru, Padmanabhan Pillai, Lawrence Tan

ACM SIGOPS Oper. Syst. Rev., 2011

On Adversary Models and Compositional Security.

Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar

IEEE Secur. Priv., 2011

FAWN: a fast array of wimpy nodes.

David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan

Commun. ACM, 2011

2010

Compositional System Security with Interface-Confined Adversaries.

Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

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

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Energy-efficient cluster computing with FAWN: workloads and implications.

Vijay Vasudevan, David G. Andersen, Michael Kaminsky, Lawrence Tan, Jason Franklin, Iulian Moraru

Proceedings of the 1st International Conference on Energy-Efficient Computing and Networking, 2010

2009

A Logic of Secure Systems and its Application to Trusted Computing.

Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

FAWNdamentally Power-efficient Clusters.

Vijay Vasudevan, Jason Franklin, David G. Andersen, Amar Phanishayee, Lawrence Tan, Michael Kaminsky, Iulian Moraru

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

2008

Towards Sound Detection of Virtual Machines.

Jason Franklin, Mark Luk, Jonathan M. McCune, Arvind Seshadri, Adrian Perrig, Leendert van Doorn

Proceedings of the Botnet Detection: Countering the Largest Security Threat, 2008

2007

Compatibility Is Not Transparency: VMM Detection Myths and Realities.

Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

An inquiry into the nature and causes of the wealth of internet miscreants.

Jason Franklin, Adrian Perrig, Vern Paxson, Stefan Savage

Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006

Passive Data Link Layer 802.11 Wireless Device Driver Fingerprinting.

Jason Franklin, Damon McCoy

Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31, 2006

Replayer: automatic protocol replay by binary analysis.

James Newsome, David Brumley, Jason Franklin, Dawn Xiaodong Song

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

2005

Mapping Internet Sensors with Probe Response Attacks.

John Bethencourt, Jason Franklin, Mary K. Vernon

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005