24 citations · 63 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
A Symbolic Logic with Concrete Bounds for Cryptographic Protocols
Anupam Datta, Joseph Y. Halpern, John C. Mitchell +2
We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to cho…
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…