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. Bertolissi C.; Ranise S.,
    Verification of Composed Array-based Systems with Applications to Security-Aware Workflows,
    Symposium on Frontiers of Combining Systems (FroCoS),
    2013
  2. C. Bertolissi; S. Ranise,
    A Methodology to build run-time Monitors for Security-Aware Workflows,
    Proceedings of the 8th International Conference for Internet Technology and Secured Transactions,
    2013
    , pp. 501-
    502
    , (The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013),
    09/12/2013-12/12/2013,
    Londra, UK)
  3. S. Ranise,
    On the Verification of Security-Aware E-services,
    in «JOURNAL OF SYMBOLIC COMPUTATION»,
    vol. 47,
    n. 9,
    2012
    , pp. 1066 -
    1088
  4. R. Bruttomesso; S. Ghilardi; S. Ranise,
    Quantifier-Free Interpolation of a Theory of Arrays,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 8,
    n. 2,
    2012
  5. F. Alberti; S. Ghilardi; E. Pagani; S. Ranise; G. P. Rossi,
    Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories,
    in «JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION»,
    vol. 8,
    n. 1/2,
    2012
    , pp. 29 -
    61
  6. A. Armando; S. Ranise,
    Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving,
    in «JOURNAL OF COMPUTER SECURITY»,
    vol. 20,
    2012
    , pp. 309 -
    352
  7. R. Bruttomesso; A. Carioni; S. Ghilardi; S. Ranise,
    Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    n. 7226,
    2012
    , (NASA Formal Methods - 4th International Symposium, NFM 2012,
    Norfolk, VA, USA,
    04/03/2012 a 04/05/2012)
  8. F. Alberti; R. Bruttomesso; S. Ghilardi; S. Ranise; N. Sharygina,
    Lazy Abstraction with Interpolants for Arrays,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    n. 7180,
    2012
    , (Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18,
    Merida, Venezuela,
    03/11/2012 a 03/15/2012)
  9. R. Bruttomesso; S. Ghilardi; S. Ranise,
    From Strong Amalgamability to Modularity of Quantifier-Free Interpolation,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    n. 7364,
    2012
    , (Automated Reasoning - 6th International Joint Conference, IJCAR 2012,
    Manchester, UK,
    06/26/2012 a 06/29/2012)
  10. A. Armando; S. Ranise,
    Automated and Efficient Analysis of Role-Based Access Control with Attributes,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    n. 7371,
    2012
    , (Data and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, DBSec 2012,
    Paris, France,
    07/11/2012 a 07/13/2012)

Pages