Publications

61. 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)
62. 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)
63. 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)
64. 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)
65. 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)
66. 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)
67. 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)
68. Bertolissi, Clara; dos Santos, Daniel Ricardo; Ranise, Silvio,
    Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes,
    Proceeding ASIA CCS '15 Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 297-
    308
    , (10th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2015),
    Singapore,
    14-17 April 2015)
69. Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
    Compiling NATO authorization policies for enforcement in the cloud and SDNs,
    Communications and Network Security (CNS), 2015 IEEE Conference on,
    IEEE,
    2015
    , pp. 741-
    742
    , (IEEE Conference on Communications and Network Security (CNS) 2015,
    Florence, Italy,
    September 28-30, 2015)
70. dos Santos, Daniel R.; Ranise, Silvio; Compagna, Luca; Ponta, Serena E.,
    Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios,
    Data and Applications Security and Privacy XXIX,
    Springer International Publishing,
    vol.9149,
    2015
    , pp. 85-
    100
    , (29th Annual IFIP WG 11.3 Working Conference, DBSec 2015,
    Fairfax, VA, USA,
    July 13-15, 2015)

Pages