You are here

Publications

  1. dos Santos, Daniel R.; Ponta, Serena Elisa; Ranise, Silvio,
    Proceedings of the 21st {ACM} on Symposium on Access Control Models and Technologies, {SACMAT} 2016,
    2016
    , pp. 89-
    99
    , (SACMAT Symposium on Access Control Models and Technologies,
    Shanghai, China,
    June 5-8, 2016)
  2. Compagna, Luca; dos Santos, Daniel Ricardo; Ponta, Serena Elisa; Ranise, Silvio,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol.9636,
    2016
    , pp. 567-
    572
    , (22nd International Conference, TACAS 2016,
    Eindhoven, The Netherlands,
    April 2-8, 2016)
  3. Dashevskyi, Stanislav; Brucker, Achim D.; Massacci, Fabio,
    Proceedings of the 8th nternational Symposium on Engineering Secure Software and Systems,
    vol.9639,
    2016
    , pp. 190-
    206
    , (8th International Symposium on Engineering Secure Software and Systems (Essos 2016),
    London, UK,
    April 6-8, 2016)
  4. Ranise, Silvio; Swarup, Vipin (eds.),
    Springer International Publishing,
    2016
  5. Armando, Alessandro; Bezzi, Michele; Metoui, Nadia; Sabetta, Antonino,
    in «INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING»,
    vol. 6,
    n. 2,
    2015
    , pp. 70 -
    89
  6. Nguyen, Viet Hung; Dashevskyi, Stanislav; Massacci, Fabio,
    in «EMPIRICAL SOFTWARE ENGINEERING»,
    2015
    , pp. 1 -
    30
  7. Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccarto; Valenza, Andrea,
    Proceeding MIST '15 Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 41-
    49
    , (22nd ACM Conference on Computer and Communications Security,
    Denver, Colorado, US,
    October 12-16, 2015)
  8. Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio,
    Computer Security Foundations Symposium (CSF), 2015 IEEE 28th,
    IEEE,
    2015
    , pp. 320-
    333
    , (28th IEEE Computer Security Foundations Symposium,
    Verona,
    13-17 July 2015)
  9. Armando, Alessandro; Merlo, Alessio; Verderame, Luca,
    High Performance Computing & Simulation (HPCS), 2015 International Conference on,
    IEEE,
    2015
    , pp. 221-
    228
    , (The 2015 International Conference on High Performance Computing & Simulation (HPCS 2015),
    Amsterdam, the Netherlands,
    July 20 – 24, 2015)
  10. Armando, Alessandro; Bezzi, Michele; Di Cerbo, Francesco; Metoui, Nadia,
    On the Move to Meaningful Internet Systems: OTM 2015 Conferences,
    Springer International Publishing,
    vol.9415,
    2015
    , pp. 660-
    676
    , (2015 OTM Conference,
    Rhodes, Greece,
    October 26-30, 2015)

Pages