Login / Signup
Mehdi Bouallagui
Publication Activity (10 Years)
Years Active: 2002-2002
Publications (10 Years): 0
</>
Publications
</>
Alessandro Armando
,
David A. Basin
,
Mehdi Bouallagui
,
Yannick Chevalier
,
Luca Compagna
,
Sebastian Mödersheim
,
Michaël Rusinowitch
,
Mathieu Turuani
,
Luca Viganò
,
Laurent Vigneron
The AVISS Security Protocol Analysis Tool.
CAV
(2002)