25 citations · 50 across the 16 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.CR2013
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
François Dupressoir, Andrew D. Gordon, Jan Jürjens +1
We describe how to verify security properties of C code for cryptographic protocols by using a general-purpose verifier. We prove security theorems in the symbolic model of cryptog…
cs.PL2013★ 2 cited
A Simple Semantics and Static Analysis for Stack Inspection
Anindya Banerjee, David A. Naumann
The Java virtual machine and the .NET common language runtime feature an access control mechanism specified operationally in terms of run-time stack inspection. We give a denotatio…