You are here

Roberto Carbone

Researcher
  • Phone: 0461314185
  • FBK Povo
Short bio

Since November 2010, Roberto Carbone is a researcher of the Security and Trust Research Unit at the Center for Information Technologies of Bruno Kessler Foundation in Trento.

He received his Ph.D. in Electronic and Computer Engineering and Telecommunications from the University of Genova in 2009. His PhD Thesis, titled “LTL Model-Checking for Security Protocols”, has been awarded the CLUSIT prize 2010 by the Italian Association for Information Security. His research focuses on the formal analysis of security protocols and services. He has participated in the EU project AVANTSSAR. He has contributed to the development of some key extensions of the SATMC model checker and he is currently the main developer of the tool. He has contributed to the discovery of a serious vulnerability on the SAML-based Single Sign-On for Google Apps, an Authentication flaw in the most common use-case scenario of SAML 2.0 SSO Profile (Errata by OASIS Security Services Technical Committee), and Cross-Site Scripting vulnerabilities in SAML-based SSO for Google Apps and Novell Access Manager v3.1.

He has recently contributed to the detection of serious vulnerabilities in protocols for Strong Authentication.

Publications
  1. Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca,
    Proceedings of 2018 7th International Conference on Principles of Security and Trust (POST),
    vol.10804,
    2018
    , pp. 188-
    213
    , (2018 7th International Conference on Principles of Security and Trust (POST),
    Thessaloniki, Greece,
    16-19 April 2018)
  2. Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Armando, Alessandro,
    in «COMPUTERS & SECURITY»,
    vol. 71,
    2017
    , pp. 71 -
    86
  3. Sinigaglia, Federico; Carbone, Roberto; Costa, Gabriele,
    Strong Authentication for e-Banking: A Survey on European Regulations and Implementations,
    Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017),
    2017
    , pp. 480-
    485
    , (14th International Joint Conference on e-Business and Telecommunications (ICETE 2017),
    Madrid, Spain,
    July 24-26, 2017)
  4. Costa, Gabriele; Sinigaglia, Federico; Carbone, Roberto,
    Computer Safety, Reliability, and Security. SAFECOMP 2017,
    vol.10489,
    2017
    , pp. 407-
    414
    , (SAFECOMP 2017: Computer Safety, Reliability, and Security,
    Trento, Italy,
    September 12, 2017)
  5. Sudhodanan, Avinash; Carbone, Roberto; Compagna, Luca; Dolgin, Nicolas; Armando, Alessandro; Morelli, Umberto,
    Proceedings of 2017 IEEE European Symposium on Security and Privacy (EuroS&P),
    2017
    , pp. 350-
    365
    , (2017 IEEE European Symposium on Security and Privacy (EuroS&P),
    Paris, France,
    26-28 April 2017)
  6. Luca, Compagna; Avinash, Sudhodanan; Roberto, Carbone; Alessandro, Armando,
    Dynamic analysis security testing of multi-party web applications via attack patterns.
    2017,
  7. Armando, Alessandro; Carbone, Roberto; Compagna, Luca,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 18,
    n. 2,
    2016
    , pp. 187 -
    204
  8. Sudhodanan, Avinash; Armando, Alessandro; Carbone, Roberto; Compagna, Luca,
    Proceedings of 23nd Annual Network and Distributed System Security Symposium, {NDSS} 2016,
    2016
    , (23nd Annual Network and Distributed System Security Symposium, {NDSS} 2016,
    San Diego, California, USA,
    February 21-24, 2016)
  9. Ranise, Silvio; Carbone, Roberto; Armando, Alessandro; Sciarretta, Giada,
    Proceedings of the 13th International Joint Conference on e-Business and Telecommunications {(ICETE} 2016),
    vol.4,
    2016
    , pp. 147-
    158
    , (The 13th International Joint Conference on e-Business and Telecommunications (ICETE) 2016,
    Lisbon, Portugal,
    July 26-28, 2016)
  10. Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio,
    Proceedings of 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI),
    2016
    , pp. 1-
    6
    , (2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI),
    Bologna, Italy,
    7-9 Sept. 2016)

Pages