Cryptographic Protocol Analysis on Real C Code. - Jean Goubault-Larrecq; Fabrice Parrennes (VMCAI, 2005)