You are here

Publications

  1. Sudhodanan, Avinash; Armando, Alessandro; Carbone, Roberto; Compagna, Luca,
    Proceedings of 23nd Annual Network and Distributed System Security Symposium, {NDSS} 2016,
    2016
    , (23nd Annual Network and Distributed System Security Symposium, {NDSS} 2016,
    San Diego, California, USA,
    February 21-24, 2016)
  2. 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)
  3. 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)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. Ranise, Silvio; Swarup, Vipin (eds.),
    Springer International Publishing,
    2016
  9. Armando, Alessandro; Bezzi, Michele; Metoui, Nadia; Sabetta, Antonino,
    in «INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING»,
    vol. 6,
    n. 2,
    2015
    , pp. 70 -
    89
  10. Nguyen, Viet Hung; Dashevskyi, Stanislav; Massacci, Fabio,
    in «EMPIRICAL SOFTWARE ENGINEERING»,
    2015
    , pp. 1 -
    30

Pages