DMCA

Cryptographic protocol analysis on real C code (2005)

Cached

Download Links

by Jean Goubault-larrecq , Fabrice Parrennes
Venue:In 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’05), volume 3385 of LNCS
Citations:55 - 5 self