Proving computational security using Avispa

Introduction Theoretical result Using Avispa Proving computational security using Avispa Veronique Cortier LORIA, equipe Cassis, Nancy FormaCrypt, 30 novembre 2007 This work is part of the PhD thesis of Heinrich Hordegen 1/13 Veronique Cortier LORIA, equipe Cassis, Nancy Proving computational security using Avispa

• using avispa


• computational security using


• security properties


• cortier-kuesters-kremer-warinschi


• nancy proving


• probabilistic symbols ?