13 citations · 39 across the 9 of their papers we have counts for
1 paper · 1 filter
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…