Publications

61. 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)
62. 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)
63. 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)
64. 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)
65. 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)
66. Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola,
    Analysis of XACML Policies with SMT,
    Principles of Security and Trust,
    Springer Berlin Heidelberg,
    vol.9036,
    2015
    , pp. 115-
    134
    , (4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,
    London, UK,
    April 11-18, 2015)
67. Ranise, Silvio; Truong, Anh; Viganò, Luca,
    Automated analysis of RBAC policies with temporal constraints and static role hierarchies,
    Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
    New York, NY, USA,
    ACM New York, NY, USA ©2015,
    2015
    , pp. 2177-
    2184
    , (30th Annual {ACM} Symposium on Applied Computing 2015,
    Salamanca, Spain,
    April 13-17, 2015)
68. Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet,
    Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies,
    SECRYPT 2015 - Proceedings of the 12th International Conference on Security and Cryptography,
    2015
    , pp. 293-
    300
    , (12th International Conference on Security and Cryptography (SECRYPT 2015),
    Colmar, France,
    20-22 July 2015)
69. De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio,
    A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies,
    Security and Trust Management, 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings,
    Springer International Publishing,
    vol.9331,
    2015
    , pp. 55-
    71
    , (1th International Workshop on Security and Trust Management (STM),
    Vienna, Austria,
    September 21-22, 2015)
70. Lutz, Carsten; Ranise, Silvio (eds.),
    Frontiers of Combining Systems, 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings,
    Springer International Publishing,
    2015

Pages