Publications

31. 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
32. 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
33. 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
34. Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo,
    Parameterized verification of time-sensitive models of ad hoc network protocols,
    in «THEORETICAL COMPUTER SCIENCE»,
    vol. 612,
    2016
    , pp. 1 -
    22
35. Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
    SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies,
    ABAC '16 Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control,
    New York, NY, USA,
    ACM New York, NY, USA ©2016,
    2016
    , pp. 35-
    46
    , (CODASPYData and Application Security and Privacy,
    New Orleans, Louisiana, USA,
    March 11, 2016)
36. Metoui, Nadia; Bezzi, Michele; Armando, Alessandro,
    Trust and Risk-Based Access Control for Privacy Preserving Threat Detection Systems,
    Future Data and Security Engineering - Third International Conference, {FDSE} 2016,
    vol.10018,
    2016
    , pp. 285-
    304
    , (3rd International Conference on Future Data and Security Engineering (FDSE 2016),
    Can Tho City, Vietnam,
    November 23-25, 2016)
37. Sudhodanan, Avinash; Armando, Alessandro; Carbone, Roberto; Compagna, Luca,
    Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications,
    Proceedings of 23nd Annual Network and Distributed System Security Symposium, {NDSS} 2016,
    2016
    , (23nd Annual Network and Distributed System Security Symposium, {NDSS} 2016,
    San Diego, California, USA,
    February 21-24, 2016)
38. Ranise, Silvio; Carbone, Roberto; Armando, Alessandro; Sciarretta, Giada,
    Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution,
    Proceedings of the 13th International Joint Conference on e-Business and Telecommunications {(ICETE} 2016),
    vol.4,
    2016
    , pp. 147-
    158
    , (The 13th International Joint Conference on e-Business and Telecommunications (ICETE) 2016,
    Lisbon, Portugal,
    July 26-28, 2016)
39. Truong, Anh; Ranise, Silvio,
    ASASPXL: New Clother for Analysing ARBAC Policies,
    Proceedings of Future Data and Security Engineering - Third International Conference, {FDSE} 2016,
    vol.10018,
    2016
    , pp. 267-
    284
    , (Future Data and Security Engineering - Third International Conference, {FDSE} 2016,
    Can Tho City, Vietnam,
    November 23-25, 2016)
40. dos Santos, Daniel R.; Ponta, Serena Elisa; Ranise, Silvio,
    Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem,
    Proceedings of the 21st {ACM} on Symposium on Access Control Models and Technologies, {SACMAT} 2016,
    2016
    , pp. 89-
    99
    , (SACMAT Symposium on Access Control Models and Technologies,
    Shanghai, China,
    June 5-8, 2016)

Pages