A computational indistinguishability logic for the bounded storage model. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12‒13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 102-117 (2012).
1
Certified security proofs of cryptographic protocols in the computational model: an application to intrusion resilience. (English)
Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 378-393 (2011).
2
Certified security proofs of cryptographic protocols in the computational model: an application to intrusion resilience (English)
CPP, 378-393 (2011).
3
Start
Contact
Print
General Help
