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. A. Armando; S. Ranise; F. Turkmen; B. Crispo,
    Efficient run-time solving of RBAC user authorization queries: pushing the envelope,
    2012
    , (Second ACM Conference on Data and Application Security and Privacy, CODASPY 2012,
    San Antonio, TX, USA,
    02/07/2012 a 02/09/2012)
  2. F. Alberti; R. Bruttomesso; S. Ghilardi; S. Ranise; N. Sharygina,
    SAFARI: SMT-Based Abstraction for Arrays with Interpolants,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    n. 7358,
    2012
    , (Computer Aided Verification - 24th International Conference, CAV 2012,
    Berkeley, CA, USA,
    07/07/2012 a 07/13/2012)
  3. S. Ranise; A. Armando,
    On the Automated Analysis of Safety in Usage Control: A New Decidability Result,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    n. 7645,
    2012
    , (6th International Conference on Network and System Security, NSS'2012,
    Wu Yi Shan, Fujian, China,
    11/21/2012 a 11/23/2012)
  4. M. Barletta; S. Ranise; L. Vigano,
    Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities,
    2012
    , (Security and Trust Management-STM'2012,
    Pisa, Italy,
    09/13/2012 a 09/14/2012)
  5. M. Barletta; S. Ranise; L. Vigano,
    A Declarative Two-level Framework to Specify and Verify Workflow and Authorization Policies in Service Oriented Architectures,
    in «SERVICE ORIENTED COMPUTING AND APPLICATIONS»,
    vol. 5,
    n. 1,
    2011
  6. C. Lynch; S. Ranise; C. Ringeissen; D.-K. Tran,
    Automatic Decidability and Combinability,
    in «INFORMATION AND COMPUTATION»,
    vol. 209,
    n. 7,
    2011
  7. M. Barletta; A. Calvi; S. Ranise; L. Vigano; L. Zanetti,
    Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services,
    in «SCALABLE COMPUTING. PRACTICE AND EXPERIENCE»,
    vol. 12,
    n. 1,
    2011
  8. Alberti F.; Armando A.; Ranise S.,
    Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies,
    Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS),
    2011
    , (6th ACM Symposium on Information, Computer and Communications Security (ASIACCS'10),
    Hong Kong,
    22-24/03/2011)
  9. Armando A.; Ranise S.,
    Automated Symbolic Analysis of ARBAC Policies,
    Proceedings of 6th International Workshop on Security and Trust Management (STM),
    Springer,
    vol.6710,
    2011
    , pp. 17-
    34
    , (6th International Workshop on Security and Trust Management (STM'10),
    Athens, Greece,
    23-24/09/2010)
  10. R. Bruttomesso; S. Ghilardi; S. Ranise,
    Rewriting-based Quantifier-free Interpolation for a Theory of Arrays,
    2011
    , (22nd Int. Conf. on Rewriting Techniques and Applications (RTA '11),
    Novi Sad, Serbia,
    30/05/2011 a 01/06/2011)

Pages