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. 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)
  2. Ranise, Silvio; Truong, Anh; Viganò, Luca,
    in «JOURNAL OF COMPUTER SECURITY»,
    vol. 26,
    n. 4,
    2018
    , pp. 423 -
    458
  3. 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
  4. Bertolissi, Clara; dos Santos, Daniel R.; Ranise, Silvio,
    Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT),
    2018
    , pp. 117-
    128
    , (23nd ACM on Symposium on Access Control Models and Technologies, SACMAT 18,
    Indianapolis, Indiana, USA,
    June 13 - 15, 2018)
  5. Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio; Zannone, Nicola,
    Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT),
    2018
    , pp. 235-
    246
    , (23nd ACM on Symposium on Access Control Models and Technologies (SACMAT 18),
    Indianapolis, Indiana, USA,
    June 13 - 15, 2018)
  6. 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)
  7. Ahmad, Tahir; Ranise, Silvio,
    Proceedings of the 11th International Symposium on Foundations & Practice of Security (FPS 2018),
    vol.11358,
    2018
    , pp. 131-
    139
    , (International Symposium on Foundations and Practice of Security (FPS 2018),
    Montreal, QC, Canada,
    13-15 November 2018)
  8. Ambrosin, Moreno; Conti, Mauro; Lazzeretti, Riccardo; Rabbani, Md Masoom; Ranise, Silvio,
    PADS: Practical Attestation for Highly Dynamic Swarm Topologies,
    Proceedings of the 7th International Workshop onSecure Internet of Things @ ESORICS 2018(SIoT 2018),
    2018
    , (Workshop Secure Internet of Things II @ESORICS 2018,
    Barcelona, Spain,
    6-7/9/2018)
  9. Conti, Mauro; Kaliyar, Pallavi; Rabbani, Md Masoom; Ranise, Silvio,
    Proceedings of the 14th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob'18),
    2018
    , (2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob),
    Limassol, Cyprus,
    15-17 Oct. 2018)
  10. Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola,
    in «COMPUTERS & SECURITY»,
    vol. 66,
    2017
    , pp. 185 -
    203

Pages