A Logic of Secure Systems and its Application to Trusted Computing (2009)
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared memory, a simple...
A Logic for Reasoning About Networked Secure Systems ∗ (2009)
Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta
We initiate a program to model and analyze end-to-end security properties of contemporary secure systems that rely on network protocols and memory protection. Specifically, this paper introduces the...
Jason Franklin, Arvind Seshadri, Ning Qu, Anupam Datta, Sagar Chaki
SecVisor is a hypervisor designed to guarantee that only code approved by the user of a system executes at the privilege level of the OS kernel [17]. We employ a model checker to verify the design...
A Logic for Reasoning About Networked Secure Systems* (2009)
Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta
Abstract We initiate a program to model and analyze end-to-end security properties of contemporary se-cure systems that rely on network protocols and memory protection. Specifically, this paper...
A Logic for Reasoning About Networked Secure Systems ∗ (2009)
Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta
We initiate a program to model and analyze end-to-end security properties of contemporary secure systems that rely on network protocols and memory protection. Specifically, this paper introduces the...
Towards a Theory of Secure Systems (2009)
Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta February
Abstract We initiate a program to develop a principled the-ory of secure systems. Our main technical result is a formal logic for reasoning about a network of sharedmemory, multi-user systems. The...
Abstract Mapping Internet Sensors With Probe Response Attacks (2008)
John Bethencourt, Jason Franklin, Mary Vernon
Internet sensor networks, including honeypots and log
Abstract Mapping Internet Sensors With Probe Response Attacks (2008)
John Bethencourt, Jason Franklin, Mary Vernon
Internet sensor networks, including honeypots and log
Abstract Mapping Internet Sensors With Probe Response Attacks (2008)
John Bethencourt, Jason Franklin, Mary Vernon
Internet sensor networks, including honeypots and log
Jason Franklin, Adrian Perrig, Vern Paxson, Stefan Savage
This paper studies an active underground economy which specializes in the commoditization of activities such as credit card fraud, identity theft, spamming, phishing, online credential theft, and the...
On the (Im)possibility of Timed Tamper-Evident Software in (A)synchronous Systems (2008)
Jason Franklin, Michael Carl Tschantz
Tamper-evident software has the property that a verifier can detect a violation of program integrity during execution. In this paper, we study programs that through their own execution provide...
On the (Im)possibility of Timed Tamper-Evident Software in (A)synchronous Systems (2008)
Jason Franklin, Michael Carl Tschantz
Abstract Tamper-evident software has the property that a verifier can detect a violation of program integrity during execution. In this paper, we study programs that through their own execution...
Abstract Mapping Internet Sensors With Probe Response Attacks (2008)
John Bethencourt, Jason Franklin, Mary Vernon
Internet sensor networks, including honeypots and log
Jason Franklin, Adrian Perrig, Vern Paxson, Stefan Savage
This paper studies an active underground economy which specializes in the commoditization of activities such as credit card fraud, identity theft, spamming, phishing, online credential theft, and the...
Towards a Theory of Secure Systems (2008)
Deepak Garg, Jason Franklin, Dilsun Kaynar, Anupam Datta, Deepak Garg, Jason Franklin, ...
We initiate a program to develop a principled theory of secure systems. Our main technical result is a formal logic for reasoning about a network of shared memory, multi-user systems. The logic is...
FAWN: A Fast Array of Wimpy Nodes (2008)
David G. Andersen, Jason Franklin, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan
This paper introduces the FAWN—Fast Array of Wimpy Nodes—cluster architecture for providing fast, scalable, and power-efficient key-value storage. A FAWN links together a large number of tiny...
Compatibility is Not Transparency: VMM Detection Myths and Realities (2007)
Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin
Recent work on applications ranging from realistic honeypots to stealthier rootkits has speculated about building transparent VMMs – VMMs that are indistinguishable from native hardware, even to a...
Towards sound detection of virtual machines (2007)
Jason Franklin, Mark Luk, Jonathan M. Mccune, Arvind Seshadri, Leendert Van Doorn
Summary. We design, implement, and evaluate a practical timing-based approach to detect virtual machine monitors (VMMs) without relying on VMM implementation details. The algorithms developed in this...
Jason Franklin, Arvind Seshadri, Mark Luk, Adrian Perrig
We study the remote detection of virtual machine monitors (VMMs) across the Internet, and devise fuzzy benchmarking as an approach that can successfully detect the presence or absence of a VMM on a...
Compatibility is Not Transparency: VMM Detection Myths and Realities (2007)
Tal Garfinkel, Keith Adams, Andrew Warfield, Jason Franklin
Recent work on applications ranging from realistic honeypots to stealthier rootkits has speculated about building transparent VMMs – VMMs that are indistinguishable from native hardware, even to a...
Human-Verifiable Code Execution (2007)
Jason Franklin, Mark Luk, Arvind Seshadri, Adrian Perrig, Jason Franklin, Mark Luk, ...
Today’s computer users receive few assurances that their software executes as expected. The problem is that legacy devices do not enable personal verification of code execution. In addition, legacy...
Jason Franklin, Jason Franklin, Mark Luk, Mark Luk, Jonathan M. Mccune, Jonathan M. Mccune, ...
We study the remote detection of virtual machine monitors (VMMs) across the Internet, and devise fuzzy benchmarking as an approach that can successfully detect the presence or absence of a VMM on a...
Passive data link layer 802.11 wireless device driver fingerprinting (2006)
Jason Franklin, Damon Mccoy, Parisa Tabriz, Vicentiu Neagoe
Motivated by the proliferation of wireless-enabled devices and the suspect nature of device driver code, we develop a passive fingerprinting technique that identifies the wireless device driver...
Replayer: Automatic Protocol Replay by Binary Analysis (2006)
James Newsome, David Brumley, Jason Franklin, Dawn Song
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications, such as replaying...
Passive data link layer 802.11 wireless device driver fingerprinting (2006)
Jason Franklin, Damon Mccoy, Parisa Tabriz, Vicentiu Neagoe, Jamie Van, Randwyk Douglas Sicker
Abstract Motivated by the proliferation of wireless-enabled de-vices and the suspect nature of device driver code, we develop a passive fingerprinting technique that identifiesthe wireless device...
Replayer: Automatic Protocol Replay by Binary Analysis (2006)
James Newsome, David Brumley, Jason Franklin, Dawn Song
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications, such as replaying...
Passive data link layer 802.11 wireless device driver fingerprinting (2006)
Jason Franklin, Damon Mccoy, Parisa Tabriz, Vicentiu Neagoe
Motivated by the proliferation of wireless-enabled devices and the suspect nature of device driver code, we develop a passive fingerprinting technique that identifies the wireless device driver...
Mapping Internet sensors with probe response attacks (2005)
John Bethencourt, Jason Franklin, Mary Vernon
Abstract Internet sensor networks, including honeypots and loganalysis centers such as the SANS Internet Storm Center, are used as a tool to detect malicious Internet traf-fic. For maximum...
National Nuclear Security Administration under Contract DE-AC04-94-AL85000. (2005)
Jamie Van R, Dimitry Averin, Ryan P. Custer, Jason Franklin, Franklin Hemingway, Dominique Kilman, ...
Approved for public release; further dissemination unlimited.
Mapping Internet sensors with probe response attacks (2005)
John Bethencourt, Jason Franklin, Mary Vernon
Abstract Internet sensor networks, including honeypots and loganalysis centers such as the SANS Internet Storm Center, are used as a tool to detect malicious Internet traf-fic. For maximum...
A Survey of Asynchronous Extensions of Block Cipher Modes of Operation (2003)
While modes of operation and asynchronously clocked devices have been studied separately, the combination of the two ideas has received little attention. We first consider an asynchronously clocked...
A tale of two syndromes: ovarian hyperstimulation and abdominal compartment: Case report (2000)
Cil, Tulin, Tummon, Ian S., House, Andrew A., Taylor, Brian, Hooker, Glen, Franklin, Jason, ...
Abdominal compartment syndrome complicated severe ovarian hyperstimulation in a 35 year old woman with multiple bowel resections due to Crohn's disease. Pain from ovarian enlargement necessitated...