Publications

1. Pernpruner, Marco; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada,
   The Good, the Bad and the (Not So) Ugly of Out-of-Band Authentication with eID Cards and Push Notifications: Design, Formal and Risk Analysis,
   Proceedings of the Tenth ACM Conference on Data and Application Security and Privacy (CODASPY '20),
   2020
   , pp. 223-
   234
   , (Tenth ACM Conference on Data and Application Security and Privacy (CODASPY '20),
   New Orleans, LA, USA,
   March 16-18, 2020 (originally, then postponed to early fall 2020 due to Covid-19 escalation))
2. Sharif, Amir; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada,
   A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps,
   Proceedings of the 16th International Joint Conference on e-Business and Telecommunications - Volume 2: SECRYPT,
   vol.2,
   2019
   , pp. 268-
   275
   , (16th International Joint Conference on e-Business and Telecommunications - SECRYPT,
   Prague, Czech Republic,
   26-28 July, 2019)
3. Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada,
   Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations,
   Proceedings of the 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec 2019),
   vol.11559,
   2019
   , pp. 201-
   220
   , (DBSec 2019: Data and Applications Security and Privacy XXXII,
   Charleston, SC, USA,
   July 15–17 2019)
4. Morelli, Umberto; Ranise, Silvio; Sartori, Damiano; Sciarretta, Giada; Tomasi, Alessandro,
   Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations,
   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)
5. Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada,
   Design and Security Assessment of Usable Multi-factor Authentication and Single Sign-On Solutions for Mobile Applications,
   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)
6. Dashti, Salimeh; Ranise, Silvio,
   A Tool-assisted Methodology for the Data Protection Impact Assessment,
   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)
7. Abbiati, Giovanni; Ranise, Silvio; Schizzerotto, Antonio; Siena, Alberto,
   Learning from Others’ Mistakes: An Analysis of Cyber-security Incidents,
   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)
8. Palmieri, Andrea; Prem, Paolo; Ranise, Silvio; Morelli, Umberto; Ahmad, Tahir,
   MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT Brokers,
   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)
9. Ranise, Silvio; Truong, Anh; Viganò, Luca,
   Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies,
   in «JOURNAL OF COMPUTER SECURITY»,
   vol. 26,
   n. 4,
   2018
   , pp. 423 -
   458
10. 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

Pages