115 citations · 256 across the 13 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.LO2013★ 31 cited
Measure Transformer Semantics for Bayesian Machine Learning
Johannes Borgström, Andrew D Gordon, Michael Greenberg +2
The Bayesian approach to machine learning amounts to computing posterior distributions of random variables from a probabilistic model of how the variables are related (that is, a p…