Publications

21. 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)
22. 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)
23. 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)
24. 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)
25. 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),
    vol.11358,
    2018
    , pp. 131-
    139
    , (International Symposium on Foundations and Practice of Security (FPS 2018),
    Montreal, QC, Canada,
    13-15 November 2018)
26. 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(SIoT 2018),
    2018
    , (Workshop Secure Internet of Things II @ESORICS 2018,
    Barcelona, Spain,
    6-7/9/2018)
27. 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
    , (2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob),
    Limassol, Cyprus,
    15-17 Oct. 2018)
28. 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
29. Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Armando, Alessandro,
    Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements,
    in «COMPUTERS & SECURITY»,
    vol. 71,
    2017
    , pp. 71 -
    86
30. Dos santos, Daniel ricardo; Ranise, Silvio; Compagna, Luca; Ponta, Serena elisa,
    Automatically finding execution scenarios to deploy security-sensitive workflows,
    in «JOURNAL OF COMPUTER SECURITY»,
    vol. 25,
    n. 3,
    2017
    , pp. 255 -
    282

Pages