You are here

Publications

  1. 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
  2. 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
  3. Armando A.; Merlo A.; Migliardi M; Verderame L.,
    in «COMPUTERS & SECURITY»,
    vol. 39, Part A,
    2013
    , pp. 104 -
    115
  4. Armando A.; Benerecetti M.;Mantovani J.,
    in «AUTOMATED SOFTWARE ENGINEERING»,
    2013
    , pp. 1 -
    61
  5. 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
  6. 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)
  7. 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)
  8. Armando A.; Grasso M.; Oudkerk S.; Ranise S.; Wrona K.,
    Content- based information protection and release in NATO operations,
    Symposium on Access Control Models and Technologies (SACMAT),
    2013
  9. Bertolissi C.; Ranise S.,
    Verification of Composed Array-based Systems with Applications to Security-Aware Workflows,
    Symposium on Frontiers of Combining Systems (FroCoS),
    2013
  10. Armando A.; Costa G.; Merlo A.; Verderame L.,
    Bring Your Own Device, Securely,
    Proceedings of the 28th ACM Symposium on Applied Computing,
    2013
    , (28th ACM Symposium on Applied Computing, Computer Security track (SEC@SAC 2013),
    Coimbra, Portugal,
    March 18 - 22, 2013)

Pages