You are here

Publications

  1. Ranise, Silvio; Carbone, Roberto; Armando, Alessandro; Sciarretta, Giada,
    Proceedings of the 13th International Joint Conference on e-Business and Telecommunications {(ICETE} 2016),
    vol.4,
    2016
    , pp. 147-
    158
    , (The 13th International Joint Conference on e-Business and Telecommunications (ICETE) 2016,
    Lisbon, Portugal,
    July 26-28, 2016)
  2. Truong, Anh; Ranise, Silvio,
    Proceedings of Future Data and Security Engineering - Third International Conference, {FDSE} 2016,
    vol.10018,
    2016
    , pp. 267-
    284
    , (Future Data and Security Engineering - Third International Conference, {FDSE} 2016,
    Can Tho City, Vietnam,
    November 23-25, 2016)
  3. 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)
  4. 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)
  5. 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)
  6. Ranise, Silvio; Swarup, Vipin (eds.),
    Springer International Publishing,
    2016
  7. Armando, Alessandro; Bezzi, Michele; Metoui, Nadia; Sabetta, Antonino,
    in «INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING»,
    vol. 6,
    n. 2,
    2015
    , pp. 70 -
    89
  8. Nguyen, Viet Hung; Dashevskyi, Stanislav; Massacci, Fabio,
    in «EMPIRICAL SOFTWARE ENGINEERING»,
    2015
    , pp. 1 -
    30
  9. 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)
  10. 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)

Pages