You are here

Publications

  1. Stanislav Dashevskyi; Daniel Ricardo dos Santos; Fabio Massacci; Antonino Sabetta,
    TESTREX: a Testbed for Repeatable Exploits,
    7th Workshop on Cyber Security Experimentation and Test (CSET'14),
    2014
  2. Delzanno G.; Tatarek M.; Traverso R.,
    Model Checking Paxos in Spin,
    Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014,
    2014
  3. Delzanno G.; Rensink A.; Traverso R.,
    Graph- versus Vector-Based Analysis of a Consensus Protocol,
    Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014,
    2014
  4. 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
  5. Armando A.; Carbone R.; Chekole E. G.; Petrazzuolo C.; Ranalli A.; Ranise S.,
    Smart Grid Security,
    Springer,
    vol.8448,
    2014
    , pp. 48-
    62
    , (Second International Workshop, SmartGridSec 2014,
    Munich, Germany,
    February 26, 2014)
  6. A. Armando; R. Carbone; L. Compagna; J. Cuellar; G. Pellegrino; A. Sorniotti,
    in «COMPUTERS & SECURITY»,
    vol. 33,
    2013
    , pp. 41 -
    58
  7. 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
  8. 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
  9. Armando A.; Merlo A.; Migliardi M; Verderame L.,
    in «COMPUTERS & SECURITY»,
    vol. 39, Part A,
    2013
    , pp. 104 -
    115
  10. Armando A.; Benerecetti M.;Mantovani J.,
    in «AUTOMATED SOFTWARE ENGINEERING»,
    2013
    , pp. 1 -
    61

Pages