inria-00638558, version 1

A composable computational soundness notion (Abstract)

Véronique Cortier ¹, Bogdan Warinschi

7th Workshop on Formal and Computational Cryptography (FCC 2011) (2011)

• 1 :  CASSIS (INRIA Lorraine - LORIA / LIFC)
• INRIA – CNRS : FRE2661 – Université de Franche-Comté – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)

• Domaine : Informatique/Cryptographie et sécurité

• inria-00638558, version 1
• http://hal.inria.fr/inria-00638558
• oai:hal.inria.fr:inria-00638558
• Contributeur : Véronique Cortier <>
• Soumis le : Samedi 5 Novembre 2011, 21:54:01
• Dernière modification le : Samedi 5 Novembre 2011, 21:54:01