You are here

Publications

  1. Morelli, Umberto; Ranise, Silvio; Sartori, Damiano; Sciarretta, Giada; Tomasi, Alessandro,
    Proceedings of the 15th International Workshop on Security and Trust Management (STM 2019),
    vol.11738,
    2019
    , pp. 19-
    35
    , (International Workshop on Security and Trust Management (STM 2019),
    Luxembourg, Luxembourg,
    26-27 September 2019)
  2. Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada,
    Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data. Privacy and Identity 2018. IFIP Advances in Information and Communication Technology,
    vol.547,
    2019
    , pp. 51-
    66
    , (Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School,
    Vienna, Austria,
    August 20-24, 2018)
  3. Dashti, Salimeh; Ranise, Silvio,
    Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,
    vol.2,
    2019
    , pp. 276-
    283
    , (16th International Joint Conference on e-Business and Telecommunications - International Conference on Security and Cryptography (SECRYPT2019),
    Prague, Czech Republic,
    July 26 - 28, 2019)
  4. Abbiati, Giovanni; Ranise, Silvio; Schizzerotto, Antonio; Siena, Alberto,
    Proceedings of the 4th International Conference on Internet of Things, Big Data and Security - Volume 1: IoTBDS,
    vol.1,
    2019
    , pp. 299-
    306
    , (4th International Conference on Internet of Things, Big Data and Security (IoTBDS),
    Heraklion, Crete, Greece,
    May 2-4, 2019)
  5. Palmieri, Andrea; Prem, Paolo; Ranise, Silvio; Morelli, Umberto; Ahmad, Tahir,
    Proceedings of 2019 IEEE World Congress on Services (SERVICES 2019),
    2019
    , pp. 47-
    53
    , (2019 IEEE World Congress on Services (SERVICES),
    Milan, Italy,
    8-13 July 2019)
  6. Ranise, Silvio; Truong, Anh; Viganò, Luca,
    in «JOURNAL OF COMPUTER SECURITY»,
    vol. 26,
    n. 4,
    2018
    , pp. 423 -
    458
  7. Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio,
    Model checking: teoria ed applicazioni,
    Le direzioni della ricerca logica in Italia 2,
    Edizioni ETS,
    2018
    , pp. 141 -
    193
  8. Buriro, Attaullah; Crispo, Bruno; Eskandari, Mojtaba; Gupta, Sandeep; Mahboob, Athar; Van Acker, Rutger,
    Emerging Technologies for Authorization and Authentication,
    2018
    , (1st International Workshop on Emerging Technologies for Authorization and Authentication (Co-Located with ESORICS 2018),
    Barcelona, Spain,
    7th September 2018)
  9. Bertolissi, Clara; dos Santos, Daniel R.; Ranise, Silvio,
    Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT),
    2018
    , pp. 117-
    128
    , (23nd ACM on Symposium on Access Control Models and Technologies, SACMAT 18,
    Indianapolis, Indiana, USA,
    June 13 - 15, 2018)
  10. Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio; Zannone, Nicola,
    Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT),
    2018
    , pp. 235-
    246
    , (23nd ACM on Symposium on Access Control Models and Technologies (SACMAT 18),
    Indianapolis, Indiana, USA,
    June 13 - 15, 2018)

Pages