Hassen Saïdi
发表
Magnus Almgren,
Tomás E. Uribe,
Alfonso Valdes,
2003,
Proceedings DARPA Information Survivability Conference and Exposition.
Bruno Dutertre,
Hassen Saïdi,
Victoria Stavridou,
2001,
2001 International Conference on Dependable Systems and Networks.
Hassen Saïdi,
Yassine Lakhnech,
Saddek Bensalem,
1996,
CAV.
Hassen Saïdi,
Ashish Gehani,
Loic Gelle,
2018,
FMICS.
Hassen Saïdi,
2001,
Security Protocols Workshop.
Natarajan Shankar,
Hassen Saïdi,
N. Shankar,
1999,
CAV.
Hassen Saïdi,
2006,
FMICS/PDMC.
Hassen Saïdi,
1996,
TACAS.
Bruce Christianson,
Ross Anderson,
Matt Blaze,
2005
.
Hassen Saïdi,
Susanne Graf,
Hassen Saïdi,
1997,
CAV.
Ross J. Anderson,
Hassen Saïdi,
Rubin Xu,
2012,
USENIX Security Symposium.
Bruno Dutertre,
Hassen Saïdi,
Victoria Stavridou,
2003,
Security Protocols Workshop.
Hassen Saïdi,
Susanne Graf,
Hassen Saïdi,
1996,
CAV.
Ashish Tiwari,
Natarajan Shankar,
Hassen Saïdi,
2001,
TACAS.
Vinod Yegneswaran,
Hassen Saïdi,
Phillip A. Porras,
2010,
MobiSec.
Somesh Jha,
Vinod Yegneswaran,
Matt Fredrikson,
2012,
CAV.
Hassen Saïdi,
Phillip A. Porras,
2009,
LEET.
Magnus Almgren,
Tomás E. Uribe,
Alfonso Valdes,
2002,
Security Protocols Workshop.
Bruno Dutertre,
Hassen Saïdi,
Robert A. Riemenschneider,
2004,
IEEE Intelligent Systems.
Hassen Saïdi,
Hassen Saïdi,
2000,
SAS.
Vinod Yegneswaran,
Wenke Lee,
Hassen Saïdi,
2008,
ESORICS.
John C. Mitchell,
Patrick Lincoln,
Glenn Durfee,
2010,
CollSec.
Hassen Saïdi,
2007,
PLAS '07.
Tomás E. Uribe,
Joshua Levy,
Hassen Saïdi,
2002,
Electron. Notes Theor. Comput. Sci..
Hassen Saïdi,
David Lesens,
1997,
INFINITY.
Hassen Saïdi,
2011,
SPSM '11.
Hassen Saïdi,
1997,
CAV.