You are here

Publications

  1. 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)
  2. 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)
  3. Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio,
    Proceedings of 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI),
    2016
    , pp. 1-
    6
    , (2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI),
    Bologna, Italy,
    7-9 Sept. 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