Security & Trust

Head of Unit

Silvio Ranise

Head of Impact Area Cybersecurity

Publications

Ahmad, Tahir; Ranise, Silvio; International Symposium on Foundations and Practice of Security (FPS 2018); Validating Requirements of Access Control for Cloud-Edge IoT Solutions; in «Proceedings of the 11th International Symposium on Foundations & Practice of Security (FPS 2018)»; Vol. 11358>; 2018; pp. 131-139
Conti, Mauro; Kaliyar, Pallavi; Rabbani, Md Masoom; Ranise, Silvio; 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob); SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things; in «Proceedings of the 14th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob'18)»; 2018; pp.
Bertolissi, Clara; dos Santos, Daniel R.; Ranise, Silvio; 23nd ACM on Symposium on Access Control Models and Technologies, SACMAT 18; Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques; in «Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, (SACMAT)»; 2018; pp. 117-128
Ambrosin, Moreno; Conti, Mauro; Lazzeretti, Riccardo; Rabbani, Md Masoom; Ranise, Silvio; Workshop Secure Internet of Things II @ESORICS 2018; PADS: Practical Attestation for Highly Dynamic Swarm Topologies; in «Proceedings of the 7th International Workshop onSecure Internet of Things @ ESORICS 2018(SIoT 2018)»; 2018; pp.
Tomasi, Alessandro; Meneghetti, Alessio; Massari, Nicola; Gasparini, Leonardo; Rucatti, Daniele; Xu, Hesong; Model, Validation, and Characterization of a Robust Quantum Random Number Generator Based on Photon Arrival Time Comparison; in «JOURNAL OF LIGHTWAVE TECHNOLOGY»; Vol. 36>; 2018; pp. 3843-3854
Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio; Model checking: teoria ed applicazioni; in «Le direzioni della ricerca logica in Italia 2»; Edizioni ETS; 2018; pp. 141-193
Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Viganò, Luca; 2018 7th International Conference on Principles of Security and Trust (POST); Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience; in «Proceedings of 2018 7th International Conference on Principles of Security and Trust (POST)»; Vol. 10804>; 2018; pp. 188-213
Ranise, Silvio; Truong, Anh; Viganò, Luca; Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies; in «JOURNAL OF COMPUTER SECURITY»; Vol. 26>; 2018; pp. 423-458
Demissie, Biniam Fisseha; Ceccato, Mariano; Khin Shar, Lwin; ACM/IEEE 5th International Conference on Mobile Software Engineering and Systems (MOBILESoft 2018); AnFlo: Detecting Anomalous Sensitive Information Flows in Android Apps; in «Proceedings of the 2018 ACM/IEEE 5th International Conference on Mobile Software Engineering and Systems»; New York; ACM/IEEE; 2018; pp. 24-34
Xu, Hesong; Massari, Nicola; Gasparini, Leonardo; Meneghetti, Alessio; Tomasi, Alessandro; A SPAD-based random number generator pixel based on the arrival time of photons; in «INTEGRATION»; Vol. 64>; 2018; pp. 22-28