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. Dos santos, Daniel ricardo; Ranise, Silvio; Compagna, Luca; Ponta, Serena elisa,
    Automatically finding execution scenarios to deploy security-sensitive workflows,
    in «JOURNAL OF COMPUTER SECURITY»,
    vol. 25,
    n. 3,
    2017
    , pp. 255 -
    282
  2. Anh, Truong; Ranise, Silvio; Nguyen, Thanh Tung,
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVI,
    2017
    , pp. 142 -
    171
  3. Compagna, Luca; dos Santos, Daniel Ricardo; Ponta, Serena Elisa; Ranise, Silvio,
    Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications,
    CODASPY '17 Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy,
    2017
    , pp. 321-
    328
    , (CODASPY '17,
    Scottsdale, Arizona, USA,
    March 22 - 24, 2017)
  4. Guarda, Paolo; Ranise, Silvio; Siswantoro, Hari,
    Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems,
    Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies,
    2017
    , pp. 247-
    254
    , (SACMAT '17 Abstracts Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies,
    Indianapolis, Indiana, USA,
    June 21 - 23, 2017)
  5. Morelli, Umberto; Ranise, Silvio,
    ICT Systems Security and Privacy Protection,
    vol.502,
    2017
    , pp. 296-
    309
    , (IFIP International Conference on ICT Systems Security and Privacy Protection (SEC '17),
    Rome, Italy,
    29-31 May 2017)
  6. dos Santos, Daniel Ricardo; Ranise, Silvio,
    Software Engineering and Formal Methods,
    vol.10469,
    2017
    , pp. 203-
    218
    , (15th International Conference, SEFM 2017,
    Trento, Italy,
    September 4–8, 2017)
  7. Ambrosin, Moreno; Conti, Mauro; Lazzeretti, Riccardo; Rabbani, Md Masoom; Ranise, Silvio,
    Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks,
    2017
    , pp. 281-
    282
    , (WiSec '17 - 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks,
    Boston, Massachusetts,
    July 18 - 20, 2017)
  8. Ranise, Silvio; Siswantoro, Hari,
    Computer Safety, Reliability, and Security,
    vol.10489,
    2017
    , pp. 361-
    372
    , (SAFECOMP 2017: Computer Safety, Reliability, and Security,
    Trento, Italy,
    12-15 September 2017)
  9. Ranise, Silvio; Truong, Anh; Traverso, Riccardo,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 18,
    n. 5,
    2016
    , pp. 559 -
    573
  10. 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)

Pages