2 papers
cs.CR2015
System M: A Program Logic for Code Sandboxing and Identification
Limin Jia, Shayak Sen, Deepak Garg +1
Security-sensitive applications that execute untrusted code often check the code's integrity by comparing its syntax to a known good value or sandbox the code to contain its effect…
cs.CR2015
Programs as Actual Causes: A Building Block for Accountability
Anupam Datta, Deepak Garg, Dilsun Kaynar +2
An updated version of this paper is available at http://arxiv.org/abs/1505.01131