Publications

61. Ranise, Silvio; Swarup, Vipin (eds.),
    Data and Applications Security and Privacy {XXX},
    Springer International Publishing,
    2016
62. Armando, Alessandro; Bezzi, Michele; Metoui, Nadia; Sabetta, Antonino,
    Risk-Based Privacy-Aware Information Disclosure,
    in «INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING»,
    vol. 6,
    n. 2,
    2015
    , pp. 70 -
    89
63. Nguyen, Viet Hung; Dashevskyi, Stanislav; Massacci, Fabio,
    An automatic method for assessing the versions affected by a vulnerability,
    in «EMPIRICAL SOFTWARE ENGINEERING»,
    2015
    , pp. 1 -
    30
64. Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccarto; Valenza, Andrea,
    Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module,
    Proceeding MIST '15 Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 41-
    49
    , (22nd ACM Conference on Computer and Communications Security,
    Denver, Colorado, US,
    October 12-16, 2015)
65. Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio,
    Android Permissions Unleashed,
    Computer Security Foundations Symposium (CSF), 2015 IEEE 28th,
    IEEE,
    2015
    , pp. 320-
    333
    , (28th IEEE Computer Security Foundations Symposium,
    Verona,
    13-17 July 2015)
66. Armando, Alessandro; Merlo, Alessio; Verderame, Luca,
    Trusted host-based card emulation,
    High Performance Computing & Simulation (HPCS), 2015 International Conference on,
    IEEE,
    2015
    , pp. 221-
    228
    , (The 2015 International Conference on High Performance Computing & Simulation (HPCS 2015),
    Amsterdam, the Netherlands,
    July 20 – 24, 2015)
67. Armando, Alessandro; Bezzi, Michele; Di Cerbo, Francesco; Metoui, Nadia,
    Balancing Trust and Risk in Access Control,
    On the Move to Meaningful Internet Systems: OTM 2015 Conferences,
    Springer International Publishing,
    vol.9415,
    2015
    , pp. 660-
    676
    , (2015 OTM Conference,
    Rhodes, Greece,
    October 26-30, 2015)
68. Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
    A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies,
    Proceeding SACMAT '15 Proceedings of the 20th ACM Symposium on Access Control Models and Technologies,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 151-
    155
    , (ACM Symposium on Access Control Models and Technologies (SACMAT),
    Vienna, Austria,
    June 1-3, 2015)
69. Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio,
    SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol.9035,
    2015
    , pp. 225-
    230
    , (21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
    London, UK,
    11-18 April 2015)
70. Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa,
    Security Threat Identification and Testing,
    Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on,
    IEEE,
    2015
    , pp. 1-
    8
    , (8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015,
    Graz, Austria,
    April 13-17, 2015)

Pages