Publications

1. Buriro, Attaullah; Crispo, Bruno; Eskandari, Mojtaba; Gupta, Sandeep; Mahboob, Athar; Van Acker, Rutger,
   SNAPAUTH: A Gesture-based Unobtrusive Smartwatch User Authentication Scheme,
   Proceedings 1st International Workshop on Emerging Technologies for Authorization and Authentication (Co-Located with ESORICS 2018),
   to be published
   , (1st International Workshop on Emerging Technologies for Authorization and Authentication (Co-Located with ESORICS 2018),
   Barcelona, Spain,
   7th September)
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. 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)
5. 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)
6. 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)
7. 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
8. 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
9. 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
10. Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola,
    Formal analysis of XACML policies using SMT,
    in «COMPUTERS & SECURITY»,
    vol. 66,
    2017
    , pp. 185 -
    203

Pages