Travelled to:
1 × France
Collaborated with:
J.Goubault-Larrecq
Talks about:
cryptograph (1) protocol (1) analysi (1) real (1) code (1)
Person: Fabrice Parrennes
DBLP: Parrennes:Fabrice
Contributed to:
Wrote 1 papers:
- VMCAI-2005-Goubault-LarrecqP #analysis #c #encryption #protocol
- Cryptographic Protocol Analysis on Real C Code (JGL, FP), pp. 363–379.