Giancarlo PELLEGRINO
|
Giancarlo PELLEGRINO
Eurecom - Réseaux et Sécurité
Doctorant
353
|
Mes publications EURECOM
Ouvrage
-
Décembre 2011
Ouvrage
Automatic security analysis of SAML-based single sign-on protocols
Book chapter N°10 in "Digital Identity and Access Management: Technologies and Framework", Business Science Reference, Editors: Raj Sharman , R., Das Smith, S., Gupta, M., December 2011, ISBN: 978-1613504987
Journal
-
Septembre 2012
Journal
An authentication flaw in browser-based single sign-on protocols: Impact and remediations
Computers and Security, September 2012, Elsevier, ISSN: 0167-4048
Conférence
-
Mai 2012
Conférence
From model-checking to automated testing of security protocols: Bridging the gap
TAP 2012, 6th International Conference on Tests and Proofs, May 31-June 1, 2012, Prague, Czech Republic / Published also in LNCS, Volume 7305, 2012, Springer



