Publications

31. Compagna, Luca; dos Santos, Daniel Ricardo; Ponta, Serena Elisa; Ranise, Silvio,
    Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol.9636,
    2016
    , pp. 567-
    572
    , (22nd International Conference, TACAS 2016,
    Eindhoven, The Netherlands,
    April 2-8, 2016)
32. Dashevskyi, Stanislav; Brucker, Achim D.; Massacci, Fabio,
    On the Security Cost of Using a Free and Open Source Component in a Proprietary Product,
    Proceedings of the 8th nternational Symposium on Engineering Secure Software and Systems,
    vol.9639,
    2016
    , pp. 190-
    206
    , (8th International Symposium on Engineering Secure Software and Systems (Essos 2016),
    London, UK,
    April 6-8, 2016)
33. Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio,
    A delegated authorization solution for smart-city mobile applications,
    Proceedings of 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI),
    2016
    , pp. 1-
    6
    , (2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI),
    Bologna, Italy,
    7-9 Sept. 2016)
34. Ranise, Silvio; Swarup, Vipin (eds.),
    Data and Applications Security and Privacy {XXX},
    Springer International Publishing,
    2016
35. 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
36. 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
37. 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)
38. 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)
39. 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)
40. 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)

Pages