You are here

Silvio Ranise

Researcher
  • 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. Ranise, Silvio; Truong, Anh; Traverso, Riccardo,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 18,
    n. 5,
    2016
    , pp. 559 -
    573
  2. Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
    ABAC '16 Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control,
    New York, NY, USA,
    ACM New York, NY, USA ©2016,
    2016
    , pp. 35-
    46
    , (CODASPYData and Application Security and Privacy,
    New Orleans, Louisiana, USA,
    March 11, 2016)
  3. 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)
  4. Truong, Anh; Ranise, Silvio,
    Proceedings of Future Data and Security Engineering - Third International Conference, {FDSE} 2016,
    vol.10018,
    2016
    , pp. 267-
    284
    , (Future Data and Security Engineering - Third International Conference, {FDSE} 2016,
    Can Tho City, Vietnam,
    November 23-25, 2016)
  5. dos Santos, Daniel R.; Ponta, Serena Elisa; Ranise, Silvio,
    Proceedings of the 21st {ACM} on Symposium on Access Control Models and Technologies, {SACMAT} 2016,
    2016
    , pp. 89-
    99
    , (SACMAT Symposium on Access Control Models and Technologies,
    Shanghai, China,
    June 5-8, 2016)
  6. Compagna, Luca; dos Santos, Daniel Ricardo; Ponta, Serena Elisa; Ranise, Silvio,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol.9636,
    2016
    , pp. 567-
    572
    , (22nd International Conference, TACAS 2016,
    Eindhoven, The Netherlands,
    April 2-8, 2016)
  7. Ranise, Silvio; Swarup, Vipin (eds.),
    Springer International Publishing,
    2016
  8. Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccarto; Valenza, Andrea,
    Proceeding MIST '15 Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 41-
    49
    , (22nd ACM Conference on Computer and Communications Security,
    Denver, Colorado, US,
    October 12-16, 2015)
  9. Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
    Proceeding SACMAT '15 Proceedings of the 20th ACM Symposium on Access Control Models and Technologies,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 151-
    155
    , (ACM Symposium on Access Control Models and Technologies (SACMAT),
    Vienna, Austria,
    June 1-3, 2015)
  10. Bertolissi, Clara; dos Santos, Daniel Ricardo; Ranise, Silvio,
    Proceeding ASIA CCS '15 Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 297-
    308
    , (10th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2015),
    Singapore,
    14-17 April 2015)

Pages