Security & Trust

Head of Unit

Silvio Ranise

Head of Impact Area Cybersecurity

Publications

Dabrowski, Jacek; Kifetew, Fitsum Meshesha; Denisse, Munante; Letier, Emmanuel; Siena, Alberto; Susi, Angelo; 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW); Discovering Requirements through Goal-Driven Process Mining; in «IEEE 25th International Requirements Engineering Conference Workshops, RE 2017 Workshops»; IEEE; 2017; pp. 199-203
Tomasi, A.; Meneghetti, A.; Sala, M.; Code generator matrices as RNG conditioners; in «FINITE FIELDS AND THEIR APPLICATIONS»; Vol. 47>; 2017; pp. 46-63
Dos santos, Daniel ricardo; Ranise, Silvio; Compagna, Luca; Ponta, Serena elisa; Automatically finding execution scenarios to deploy security-sensitive workflows; in «JOURNAL OF COMPUTER SECURITY»; Vol. 25>; 2017; pp. 255-282
Ranise, Silvio; Siswantoro, Hari; SAFECOMP 2017: Computer Safety, Reliability, and Security; Automated Legal Compliance Checking by Security Policy Analysis; in «Computer Safety, Reliability, and Security»; Vol. 10489>; 2017; pp. 361-372
Morelli, Umberto; Ranise, Silvio; IFIP International Conference on ICT Systems Security and Privacy Protection (SEC '17); Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud; in «ICT Systems Security and Privacy Protection»; Vol. 502>; 2017; pp. 296-309
Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Armando, Alessandro; Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements; in «COMPUTERS & SECURITY»; Vol. 71>; 2017; pp. 71-86
Compagna, Luca; dos Santos, Daniel Ricardo; Ponta, Serena Elisa; Ranise, Silvio; CODASPY '17; Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications; in «CODASPY '17 Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy»; 2017; pp. 321-328
Massari, Nicola; Gasparini, Leonardo; Meneghetti, Alessio; Tomasi, Alessandro; 1st IEEE conference New Generation of Circuits and Systems 2017; A SPAD-Based Random Number Generator Pixel Based on the Arrival Time of Photons; in «Proceedings of the 1st IEEE conference New Generation of Circuits and Systems 2017»; 2017; pp. 213-216
Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad; CODASPYData and Application Security and Privacy; SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies; in «ABAC '16 Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control»; New York, NY, USA; ACM New York, NY, USA ©2016; 2016; pp. 35-46
Ranise, Silvio; Carbone, Roberto; Armando, Alessandro; Sciarretta, Giada; The 13th International Joint Conference on e-Business and Telecommunications (ICETE) 2016; Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution; in «Proceedings of the 13th International Joint Conference on e-Business and Telecommunications {(ICETE} 2016)»; Vol. 4>; 2016; pp. 147-158