-
Ranise, Silvio; Swarup, Vipin (eds.),
Springer International Publishing,
2016
-
Armando, Alessandro; Bezzi, Michele; Metoui, Nadia; Sabetta, Antonino,
in «INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING»,
vol. 6,
n. 2,
2015
, pp. 70 -
89
-
Nguyen, Viet Hung; Dashevskyi, Stanislav; Massacci, Fabio,
in «EMPIRICAL SOFTWARE ENGINEERING»,
2015
, pp. 1 -
30
-
Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccarto; Valenza, Andrea,
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)
-
Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio,
Computer Security Foundations Symposium (CSF), 2015 IEEE 28th,
IEEE,
2015
, pp. 320-
333
, (28th IEEE Computer Security Foundations Symposium,
Verona,
13-17 July 2015)
-
Armando, Alessandro; Merlo, Alessio; Verderame, Luca,
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)
-
Armando, Alessandro; Bezzi, Michele; Di Cerbo, Francesco; Metoui, Nadia,
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)
-
Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad,
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)
-
Armando, Alessandro; Bocci, Gianluca; Chiarelli, Giantonio; Costa, Gabriele; De Maglie, Gabriele; Mammoliti, Rocco; Merlo, Alessio,
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)
-
Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa,
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)