You are here

Silvio Ranise

Head of Unit
  • Phone: 0461314192
  • FBK Povo
Short bio

Silvio Ranise received his Ms. Eng. in 1997 at the University of Genova (Italy) and his PhD in Computer Engineering from the University of Genova (Italy) and the University H. Poincare ́ (Nancy, France) in 2002 in the context of a joint PhD program between Italy and France. He works at FBK in the S&T Research Unit as Senior Researcher since April 2010. His previous appointments are: assistant professor at the U. H. Poincare ́ in 2001-2002, INRIA researcher at the LORIA computer science laboratory of Nancy in 2002-2008, research associate at the University of Verona (in the context of the EU Project AVANTSSAR) in 2008-2010, visiting professor at the Department of Computer Science of the University of Milano. His research focuses on formal methods for the automatic analysis of security-sensitive applications and he has published more than 65 papers in international conferences and journals on automated analysis of security policies, infinite state model checking, and Satisfiability Modulo Theories (SMT) solving. He has been initiator and co-ordinator of the SMT-Lib initiative, and started the SMT workshop series on SMT techniques. He has also given tutorials on SMT and infinite state model checking techniques at international conferences. In 2010, he received the HVC award for his “pivotal and continuous role in building and promoting the SMT community.” 

Publications
  1. Pernpruner, Marco; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada,
    The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication with eID Cards and Push Notifications: Design, Formal and Risk Analysis,
    Proceedings of the Tenth ACM Conference on Data and Application Security and Privacy (CODASPY '20),
    2020
    , pp. 223-
    234
    , (Tenth ACM Conference on Data and Application Security and Privacy (CODASPY '20),
    New Orleans, LA, USA,
    March 16-18, 2020 (originally, then postponed to early fall 2020 due to Covid-19 escalation))
  2. Sharif, Amir; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada,
    Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,
    vol.2,
    2019
    , pp. 268-
    275
    , (16th International Joint Conference on e-Business and Telecommunications - SECRYPT,
    Prague, Czech Republic,
    26-28 July, 2019)
  3. Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada,
    Proceedings of the 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2019),
    vol.11559,
    2019
    , pp. 201-
    220
    , (DBSec 2019: Data and Applications Security and Privacy XXXII,
    Charleston, SC, USA,
    July 15–17 2019)
  4. Morelli, Umberto; Ranise, Silvio; Sartori, Damiano; Sciarretta, Giada; Tomasi, Alessandro,
    Proceedings of the 15th International Workshop on Security and Trust Management (STM 2019),
    vol.11738,
    2019
    , pp. 19-
    35
    , (International Workshop on Security and Trust Management (STM 2019),
    Luxembourg, Luxembourg,
    26-27 September 2019)
  5. Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada,
    Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data. Privacy and Identity 2018. IFIP Advances in Information and Communication Technology,
    vol.547,
    2019
    , pp. 51-
    66
    , (Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School,
    Vienna, Austria,
    August 20-24, 2018)
  6. Dashti, Salimeh; Ranise, Silvio,
    Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,
    vol.2,
    2019
    , pp. 276-
    283
    , (16th International Joint Conference on e-Business and Telecommunications - International Conference on Security and Cryptography (SECRYPT2019),
    Prague, Czech Republic,
    July 26 - 28, 2019)
  7. Abbiati, Giovanni; Ranise, Silvio; Schizzerotto, Antonio; Siena, Alberto,
    Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS,
    vol.1,
    2019
    , pp. 299-
    306
    , (4th International Conference on Internet of Things, Big Data and Security (IoTBDS),
    Heraklion, Crete, Greece,
    May 2-4, 2019)
  8. Palmieri, Andrea; Prem, Paolo; Ranise, Silvio; Morelli, Umberto; Ahmad, Tahir,
    Proceedings of 2019 IEEE World Congress on Services (SERVICES 2019),
    2019
    , pp. 47-
    53
    , (2019 IEEE World Congress on Services (SERVICES),
    Milan, Italy,
    8-13 July 2019)
  9. Ranise, Silvio; Truong, Anh; Viganò, Luca,
    in «JOURNAL OF COMPUTER SECURITY»,
    vol. 26,
    n. 4,
    2018
    , pp. 423 -
    458
  10. Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio,
    Model checking: teoria ed applicazioni,
    Le direzioni della ricerca logica in Italia 2,
    Edizioni ETS,
    2018
    , pp. 141 -
    193

Pages