"Cryptographic Protocol Analysis on Real C Code."

Jean Goubault-Larrecq, Fabrice Parrennes (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics