Publications

1. 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
2. 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
3. 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
4. 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»,
   2017
   , pp. 1 -
   30
5. 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
6. Morelli, Umberto; Ranise, Silvio,
   Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud,
   ICT Systems Security and Privacy Protection,
   2017
   , pp. 296 -
   309
7. 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)
8. Eskandari, Mojtaba; Bruno, Crispo; Anderson Santana De Oliveira,,
   DLoc: Distributed Auditing for Data Location Compliance in Cloud,
   Proceedings European Symposium on Research in Computer Security International Workshop on Data Privacy Management Cryptocurrencies and Blockchain Technology,
   springer,
   2017
   , pp. 202-
   218
   , (European Symposium on Research in Computer Security,
   Oslo, Norway,
   11-15 September)
9. Sinigaglia, Federico; Carbone, Roberto; Costa, Gabriele,
   Strong Authentication for e-Banking: A Survey on European Regulations and Implementations,
   Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017),
   2017
   , pp. 480-
   485
   , (14th International Joint Conference on e-Business and Telecommunications (ICETE 2017),
   Madrid, Spain,
   July 24-26, 2017)
10. Costa, Gabriele; Sinigaglia, Federico; Carbone, Roberto,
    PolEnA: Enforcing Fine-grained Permission Policies in Android,
    Computer Safety, Reliability, and Security. SAFECOMP 2017,
    vol.10489,
    2017
    , pp. 407-
    414
    , (SAFECOMP 2017: Computer Safety, Reliability, and Security,
    Trento, Italy,
    September 12, 2017)

Pages