Publications

21. 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)
22. 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)
23. 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)
24. 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)
25. 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
26. 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
27. 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
28. Metoui, Nadia; Bezzi, Michele; Armando, Alessandro,
    Risk-Based Privacy-Aware Access Control for Threat Detection Systems,
    in «TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS»,
    vol. 10720,
    2017
    , pp. 1 -
    30
29. Anh, Truong; Ranise, Silvio; Nguyen, Thanh Tung,
    Scalable Automated Analysis of Access Control and Privacy Policies,
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVI,
    2017
    , pp. 142 -
    171
30. Eskandari, Mojtaba; Maqsood, Ahmad; Anderson Santana De Oliveira, ; And Bruno Crispo,,
    Analyzing Remote Server Locations for Personal Data Transfers in Mobile Apps,
    Proceedings on Privacy Enhancing Technologies 2017,
    2017
    , pp. 118-
    131
    , (Privacy Enhancing Technologies Symposium (PETS),
    Minneapolis, USA,
    July 18 – 21, 2017)

Pages