Publications

31. 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)
32. 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)
33. 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)
34. 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)
35. Alessandro, Armando; Roberto, Baldoni; Riccardo, Focardi (eds.),
    Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy,
    CEUR-WS.org,
    2017
36. Luca, Compagna; Avinash, Sudhodanan; Roberto, Carbone; Alessandro, Armando,
    Dynamic analysis security testing of multi-party web applications via attack patterns.
    2017,
37. 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
38. 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
39. Ranise, Silvio; Truong, Anh; Traverso, Riccardo,
    Parameterized model checking for security policy analysis,
    in «INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER»,
    vol. 18,
    n. 5,
    2016
    , pp. 559 -
    573
40. Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo,
    Adding Data Registers to Parameterized Networks with Broadcast,
    in «FUNDAMENTA INFORMATICAE»,
    vol. 143,
    n. 3-4,
    2016
    , pp. 287 -
    316

Pages