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. F. Alberti; A. Armando; S. Ranise,
    ASASP: Automated Symbolic Analysis of Security Policies,
    2011
    , (23rd Conference on Automated Deduction (CADE),
    Wroclow, Poland,
    31/07/2011 a 05/08/2011)
  2. A. Armando; S. Ranise,
    Automated Analysis of Infinite State Workflows with Access Control Policies,
    2011
    , (7th Int. Workshop on Security and Trust Management,
    Copenhagen, Denmark,
    27/06/2011 a 28/06/2011)
  3. A. Carioni; S. Ghilardi; S. Ranise,
    Automated Termination in Model Checking Modulo Theories,
    2011
    , (5th Int. Workshop on Reachability Problems (RP 11),
    Genova, Italy,
    28/09/2011 a 30/09/2011)
  4. R. Bruttomesso; S. Ghilardi; S. Ranise,
    A Combination of Rewriting and Constraint Solving for the Quantifier-free Interpolation of Arrays with Integer Difference Constraints,
    2011
    , (8th Int. Symp. on Frontiers of Combining Systems (FroCoS'11),
    Saarbruecken, Germany,
    05/10/2011 a 07/10/2011)
  5. A. Armando; R. Carbone; S. Ranise,
    Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach,
    2011
    , (IEEE Int. Workshop on Semantics, Security, and Privacy (TCSEM + TCSP),
    Stanford Univ., Palo Alto, CA, USA,
    18/11/2011 a 21/11/2011)
  6. Barrett C.; de Moura L.; Ranise S.; Stump A.; Tinelli C.,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    Hardware and Software: Verification and Testing,
    Springer Berlin Heidelberg,
    2011
    , (Haifa Verification Conference 2010,
    Israel,
    October 4-7, 2010)
  7. D.-K. Tran; C. Ringeissen; S. Ranise; H. Kirchner,
    in «JOURNAL OF SYMBOLIC COMPUTATION»,
    vol. 45,
    n. 2,
    2010
    , pp. 261 -
    286
  8. S. Ghilardi; S. Ranise,
    Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis,
    in «LOGICAL METHODS IN COMPUTER SCIENCE»,
    vol. 6,
    n. 4,
    2010
  9. S. Ghilardi; S. Ranise,
    vol.6173,
    2010
    , pp. 22-
    29
    , (Automated Reasoning, 5th International Joint Conference, IJCAR 2010,
    Edinburgh, UK,
    07/16/2010 a 07/19/2010)
  10. F. Alberti; S. Ghilardi; E. Pagani; S. Ranise; G. P. Rossi,
    vol.6343,
    2010
    , pp. 392-
    394
    , (Distributed Computing, 24th International Symposium, DISC 2010,
    Cambridge, MA, USA,
    09/13/2010 a 09/15/2010)

Pages