You are here

Publications

  1. Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
    Proceeding SACMAT '15 Proceedings of the 20th ACM Symposium on Access Control Models and Technologies,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 151-
    155
    , (ACM Symposium on Access Control Models and Technologies (SACMAT),
    Vienna, Austria,
    June 1-3, 2015)
  2. Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol.9035,
    2015
    , pp. 225-
    230
    , (21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
    London, UK,
    11-18 April 2015)
  3. Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa,
    Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on,
    IEEE,
    2015
    , pp. 1-
    8
    , (8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015,
    Graz, Austria,
    April 13-17, 2015)
  4. Bertolissi, Clara; dos Santos, Daniel Ricardo; Ranise, Silvio,
    Proceeding ASIA CCS '15 Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 297-
    308
    , (10th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2015),
    Singapore,
    14-17 April 2015)
  5. Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
    Communications and Network Security (CNS), 2015 IEEE Conference on,
    IEEE,
    2015
    , pp. 741-
    742
    , (IEEE Conference on Communications and Network Security (CNS) 2015,
    Florence, Italy,
    September 28-30, 2015)
  6. dos Santos, Daniel R.; Ranise, Silvio; Compagna, Luca; Ponta, Serena E.,
    Data and Applications Security and Privacy XXIX,
    Springer International Publishing,
    vol.9149,
    2015
    , pp. 85-
    100
    , (29th Annual IFIP WG 11.3 Working Conference, DBSec 2015,
    Fairfax, VA, USA,
    July 13-15, 2015)
  7. Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola,
    Principles of Security and Trust,
    Springer Berlin Heidelberg,
    vol.9036,
    2015
    , pp. 115-
    134
    , (4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,
    London, UK,
    April 11-18, 2015)
  8. Ranise, Silvio; Truong, Anh; Viganò, Luca,
    Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 2177-
    2184
    , (30th Annual {ACM} Symposium on Applied Computing 2015,
    Salamanca, Spain,
    April 13-17, 2015)
  9. Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet,
    SECRYPT 2015 - Proceedings of the 12th International Conference on Security and Cryptography,
    2015
    , pp. 293-
    300
    , (12th International Conference on Security and Cryptography (SECRYPT 2015),
    Colmar, France,
    20-22 July 2015)
  10. De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio,
    Security and Trust Management, 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings,
    Springer International Publishing,
    vol.9331,
    2015
    , pp. 55-
    71
    , (1th International Workshop on Security and Trust Management (STM),
    Vienna, Austria,
    September 21-22, 2015)

Pages