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. Armando A., Carbone R., Chekole E. G., Ranise S.,
    Attribute Based Access Control for APIs in Spring Security,
    ACM Press,
    to be published
    , (ACM Symposium on Access Control Models and Technologies (SACMAT14),
    London, Ontario, Canada,
    June 25-27, 2014)
  2. Ranise S., Truong A.,
    Incremental analysis of evolving administrative role based access control policies,
    Data and Applications Security and Privacy XXVIII,
    Springer,
    vol.8566,
    2014
    , pp. 260-
    275
    , (28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSeC14),
    Vienna, Austria,
    14-16 July 2014)
  3. Ranise S., Truong A., Armando A.,
    Proceedings of the 19th ACM symposium on Access control models and technologies,
    ACM Press,
    2014
    , pp. 103-
    114
    , (ACM Symposium on Access Control Models and Technologies (SACMAT14),
    London, Ontario, Canada,
    June 25-25 2014)
  4. Armando A., Oudkerk S., Ranise S., Wrona K.,
    Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    Foundations and Practice of Security,
    Springer International Publishing,
    vol.8352,
    2014
    , pp. 227-
    244
    , (Foundations and Practice of Security - 6th International Symposium, FPS 2013,
    La Rochelle, France,
    October 21-22, 2013)
  5. Ranise S., Traverso R.,
    ALPS: An Action Language for Policy Specification and Automated Safety Analysis,
    Security and Trust Management - 10th International Workshop, STM 2014,
    2014
  6. Ranise S.,
    Symbolic Backward Reachability with Effectively Propositional Logic-Applications to Security Policy Analysis,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 42,
    n. 1,
    2013
    , pp. 24 -
    45
  7. Carioni A., Ghilardi S., Ranise S.,
    Automated Termination in Model-Checking Modulo Theories,
    in «INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE»,
    vol. 24,
    n. 02,
    2013
  8. Bruttomesso R., Ghilardi S., Ranise S.,
    Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    2013
  9. S. Ranise, A. Truong, A. Armando,
    STM 2012,
    vol.7783,
    2013
    , pp. 273-
    288
    , (Security and Trust Management-STM'2012,
    Pisa, Italy,
    09/13/2012 a 09/14/2012)
  10. Armando A., Grasso M., Oudkerk S., Ranise S., Wrona K.,
    Content- based information protection and release in NATO operations,
    Symposium on Access Control Models and Technologies (SACMAT),
    2013

Pages