Publications

1. 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
2. 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
3. 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
4. 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
5. 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
6. 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)
7. 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)
8. 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)
9. 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)
10. 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)

Pages