You are here

Publications

  1. Bruttomesso R.; Ghilardi S.; Ranise S.,
    in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»,
    vol. 15,
    n. 1,
    2014
  2. Armando A.; Ponta S. E.,
    in «COMPUTERS & SECURITY»,
    vol. 40,
    2014
    , pp. 1 -
    22
  3. Armando A.; Costa G.; Verderame L.; Merlo A.,
    Securing the "Bring Your Own Device" Paradigm,
    in «COMPUTER»,
    vol. 47,
    n. 6,
    2014
    , pp. 48 -
    56
  4. Armando A.; Costa G.; Merlo A.; Verderame L.,
    in «INTERNATIONAL JOURNAL OF INFORMATION SECURITY»,
    2014
    , pp. 1 -
    18
  5. Armando A.; Benerecetti M.; Mantovani J.,
    in «AUTOMATED SOFTWARE ENGINEERING»,
    vol. 21,
    n. 2,
    2014
    , pp. 225 -
    258
  6. Alberti F.; Bruttomesso R.; Ghilardi S.; Ranise S.; Sharygina N.,
    in «FORMAL METHODS IN SYSTEM DESIGN»,
    vol. 45,
    n. 1,
    2014
    , pp. 63 -
    109
  7. Armando A.; Merlo A.; Verderame L.,
    in «INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION»,
    vol. 7,
    n. 4,
    2014
    , pp. 247 -
    256
  8. Armando A.; Carbone R.; Compagna L.,
    in «LECTURE NOTES IN COMPUTER SCIENCE»
    Tools and Algorithms for the Construction and Analysis of Systems- 20th International Conference, {TACAS} 2014,
    Springer Berlin Heidelberg,
    vol.8413,
    2014
    , pp. 31-
    45
    , (20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
    Grenoble, France,
    5-13 April 2014)
  9. Ranise S.; Truong A.,
    Incremental analysis of evolving administrative role based access control policies,
    Data and Applications Security and Privacy XXVIII,
    Springer,
    vol.8566,
    2014
    , pp. 260-
    275
    , (28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSeC14),
    Vienna, Austria,
    14-16 July 2014)
  10. Ranise S.; Truong A.; Armando A.,
    Proceedings of the 19th ACM symposium on Access control models and technologies,
    ACM Press,
    2014
    , pp. 103-
    114
    , (ACM Symposium on Access Control Models and Technologies (SACMAT14),
    London, Ontario, Canada,
    June 25-25 2014)

Pages