Publications

31. 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)
32. 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)
33. 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)
34. Compagna, Luca; dos Santos, Daniel Ricardo; Ponta, Serena Elisa; Ranise, Silvio,
    Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications,
    CODASPY '17 Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy,
    2017
    , pp. 321-
    328
    , (CODASPY '17,
    Scottsdale, Arizona, USA,
    March 22 - 24, 2017)
35. Sudhodanan, Avinash; Carbone, Roberto; Compagna, Luca; Dolgin, Nicolas; Armando, Alessandro; Morelli, Umberto,
    Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries,
    Proceedings of 2017 IEEE European Symposium on Security and Privacy (EuroS&P),
    2017
    , pp. 350-
    365
    , (2017 IEEE European Symposium on Security and Privacy (EuroS&P),
    Paris, France,
    26-28 April 2017)
36. Guarda, Paolo; Ranise, Silvio; Siswantoro, Hari,
    Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems,
    Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies,
    2017
    , pp. 247-
    254
    , (SACMAT '17 Abstracts Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies,
    Indianapolis, Indiana, USA,
    June 21 - 23, 2017)
37. Morelli, Umberto; Ranise, Silvio,
    Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud,
    ICT Systems Security and Privacy Protection,
    vol.502,
    2017
    , pp. 296-
    309
    , (IFIP International Conference on ICT Systems Security and Privacy Protection (SEC '17),
    Rome, Italy,
    29-31 May 2017)
38. dos Santos, Daniel Ricardo; Ranise, Silvio,
    On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows,
    Software Engineering and Formal Methods,
    vol.10469,
    2017
    , pp. 203-
    218
    , (15th International Conference, SEFM 2017,
    Trento, Italy,
    September 4–8, 2017)
39. Ambrosin, Moreno; Conti, Mauro; Lazzeretti, Riccardo; Rabbani, Md Masoom; Ranise, Silvio,
    Toward secure and efficient attestation for highly dynamic swarms,
    Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks,
    2017
    , pp. 281-
    282
    , (WiSec '17 - 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks,
    Boston, Massachusetts,
    July 18 - 20, 2017)
40. Ranise, Silvio; Siswantoro, Hari,
    Automated Legal Compliance Checking by Security Policy Analysis,
    Computer Safety, Reliability, and Security,
    vol.10489,
    2017
    , pp. 361-
    372
    , (SAFECOMP 2017: Computer Safety, Reliability, and Security,
    Trento, Italy,
    12-15 September 2017)

Pages