You are here

Publications

  1. 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
  2. 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)
  3. A. Armando; R. Carbone; L. Compagna; J. Cuellar; G. Pellegrino; A. Sorniotti,
    in «COMPUTERS & SECURITY»,
    vol. 33,
    2013
    , pp. 41 -
    58
  4. 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
  5. 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
  6. Armando A.; Merlo A.; Migliardi M; Verderame L.,
    in «COMPUTERS & SECURITY»,
    vol. 39, Part A,
    2013
    , pp. 104 -
    115
  7. Armando A.; Benerecetti M.;Mantovani J.,
    in «AUTOMATED SOFTWARE ENGINEERING»,
    2013
    , pp. 1 -
    61
  8. 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
  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. A. Armando; R. Carbone; L. Zanetti,
    Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols,
    2013
    , (7th International Conference on Network and System Security (NSS 2013),
    Madrid, Spain,
    06/03/2013 a 06/04/2013)

Pages