Graduate School and Research Center In communication systems
Giancarlo PELLEGRINO
|
Giancarlo PELLEGRINO
Eurecom - Networking and Security
Phd Student
353
|
My EURECOM publications
Book
-
December 2011
Book
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
-
September 2012
Journal
An authentication flaw in browser-based single sign-on protocols: Impact and remediations
Computers and Security, September 2012, Elsevier, ISSN: 0167-4048
Conference
-
May 2012
Conference
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
