1. PELLEGRINO Giancarlo
  2. PELLEGRINO Giancarlo
print

PELLEGRINO Giancarlo

Conference

Pellegrino, Giancarlo; Catakoglu, Onur; Balzarotti, Davide; Rossow, Christian

Uses and abuses of server-side requests

RAID 2016, 19th International Symposium on Research in Attacks, Intrusions and Defenses, September 19-21, 2016, Evry, France / Also published in LNCS, Vol. 9854/2016
Detail
Document
DOI
BIBTEX

Conference

Pellegrino, Giancarlo; Balzarotti, Davide; Winter, Stefan; Suri, Neeraj

In the compression hornet's nest: A security study of data compression in network services

USENIX 2015, 24th USENIX Security Symposium, August 12-14, 2015, Washington DC, USA
Detail
Document
BIBTEX

Conference

Pellegrino, Giancarlo; Balzarotti, Davide

Toward black-box detection of logic flaws in web applications

NDSS 2014, Network and Distributed System Security Symposium, 23-26 February 2014, San Diego, USA
Detail
Document
DOI
BIBTEX

Conference

Pellegrino, Giancarlo; Compagna, Luca; Morreggia, Thomas

A tool for supporting developers in analyzing the security of web-based security protocols

ICTSS 2013, 25th IFIP International Conference on Testing Software and Systems, November 13-15, 2013, Istanbul, Turkey / Also published in LNCS, Volume 8254/2013
Detail
Document
DOI
BIBTEX

Thesis

Pellegrino, Giancarlo

Detection of logic flaws in multi-party business applications via security testing

Thesis
Detail
Document
HAL
BIBTEX

Journal

Armando, Alessandro; Carbone, Roberto; Compagna, Luca; Cuellar, Jorge; Pellegrino, Giancarlo; Sorniotti, Alessandro

An authentication flaw in browser-based single sign-on protocols: Impact and remediations

Computers and Security, Vol 33, March 2013, Elsevier, ISSN: 0167-4048
Detail
Document
DOI
BIBTEX

Conference

Armando, Alessandro; Pellegrino, Giancarlo; Carbone, Roberto; Merlo, Alessio; Balzarotti, Davide

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
Detail
Document
DOI
BIBTEX

Book

Armando, Alessandro; Carbone, Roberto; Compagna, Luca; Pellegrino, Giancarlo

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
Detail
Document
DOI
BIBTEX