You are here

Publications

  1. 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
  2. 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
  3. 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)
  4. A. Armando; R. Carbone; L. Compagna; J. Cuellar; G. Pellegrino; A. Sorniotti,
    in «COMPUTERS & SECURITY»,
    vol. 33,
    2013
    , pp. 41 -
    58
  5. 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
  6. 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
  7. Armando A.; Merlo A.; Migliardi M; Verderame L.,
    in «COMPUTERS & SECURITY»,
    vol. 39, Part A,
    2013
    , pp. 104 -
    115
  8. Armando A.; Benerecetti M.;Mantovani J.,
    in «AUTOMATED SOFTWARE ENGINEERING»,
    2013
    , pp. 1 -
    61
  9. de Souza R.F.; Westphall C.B.; dos Santos D.R.; Westphall C.M.,
    A Review of PACS on Cloud for Archiving Secure Medical Images,
    in «INTERNATIONAL JOURNAL OF PRIVACY AND HEALTH INFORMATION MANAGEMENT»,
    vol. 1,
    2013
    , pp. 53 -
    62
  10. 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)

Pages