Publications

21. 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)
22. 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)
23. 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)
24. 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)
25. 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)
26. Fauri, Davide; Dos Santos, Daniel Ricardo; Costante, Elisa; den Hartog, Jerry; Etalle, Sandro; Tonetta, Stefano,
    From System Specification to Anomaly Detection (and back),
    Proceedings of the 2017 Workshop on Cyber-Physical Systems Securityand PrivaCy,
    ACM,
    2017
    , pp. 13-
    24
    , (2017 Workshop on Cyber-Physical Systems Security and PrivaCy (CPS17),
    Dallas, Texas,
    November 03, 2017)
27. Alessandro, Armando; Roberto, Baldoni; Riccardo, Focardi (eds.),
    Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy,
    CEUR-WS.org,
    2017
28. Luca, Compagna; Avinash, Sudhodanan; Roberto, Carbone; Alessandro, Armando,
    Dynamic analysis security testing of multi-party web applications via attack patterns.
    2017,
29. Merlo, Alessio; Costa, Gabriele; Verderame, Luca; Armando, Alessandro,
    Android vs. SEAndroid: An empirical assessment,
    in «PERVASIVE AND MOBILE COMPUTING»,
    vol. 30,
    2016
    , pp. 113 -
    131
30. Armando, Alessandro; Carbone, Roberto; Compagna, Luca,
    SATMC: a SAT-based model checker for security protocols, business processes, and security APIs,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 18,
    n. 2,
    2016
    , pp. 187 -
    204

Pages