Publications

1. 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)
2. 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
3. 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
4. Buriro, Attaullah; Crispo, Bruno; Eskandari, Mojtaba; Gupta, Sandeep; Mahboob, Athar; Van Acker, Rutger,
   SNAPAUTH: A Gesture-based Unobtrusive Smartwatch User Authentication Scheme,
   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)
5. Bertolissi, Clara; dos Santos, Daniel R.; Ranise, Silvio,
   Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques,
   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)
6. Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio; Zannone, Nicola,
   A Lazy Approach to Access Control as a Service (ACaaS) for IoT,
   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)
7. Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca,
   Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience,
   Proceedings of 2018 7th International Conference on Principles of Security and Trust (POST),
   vol.10804,
   2018
   , pp. 188-
   213
   , (2018 7th International Conference on Principles of Security and Trust (POST),
   Thessaloniki, Greece,
   16-19 April 2018)
8. Ahmad, Tahir; Ranise, Silvio,
   Validating Requirements of Access Control for Cloud-Edge IoT Solutions,
   Proceedings of the 11th International Symposium on Foundations & Practice of Security (FPS 2018),
   2018
9. Ambrosin, Moreno; Conti, Mauro; Lazzeretti, Riccardo; Rabbani, Md Masoom; Ranise, Silvio,
   PADS: Practical Attestation for Highly Dynamic Swarm Topologies,
   Proceedings of the 7th International Workshop onSecure Internet of Things (ESORICS 2018 workshop: SIoT 2018),
   2018
10. Conti, Mauro; Kaliyar, Pallavi; Rabbani, Md Masoom; Ranise, Silvio,
    SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things,
    Proceedings of the 14th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob'18),
    2018

Pages