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. 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)
  5. Ranise, Silvio; Swarup, Vipin (eds.),
    Springer International Publishing,
    2016
  6. Armando, Alessandro; Bezzi, Michele; Metoui, Nadia; Sabetta, Antonino,
    in «INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING»,
    vol. 6,
    n. 2,
    2015
    , pp. 70 -
    89
  7. Nguyen, Viet Hung; Dashevskyi, Stanislav; Massacci, Fabio,
    in «EMPIRICAL SOFTWARE ENGINEERING»,
    2015
    , pp. 1 -
    30
  8. 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)
  9. 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)
  10. 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)

Pages