Flaminia LUCCIO

Position
Associate Professor
Telephone
041 234 8448
E-mail
luccio@unive.it
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/luccio (personal record)
 http://www.dsi.unive.it/~luccio/
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B11 (Zeta B building)
Office
Interconnected Nord-Est Innovation Ecosystem - Temporary Project Centre

M. Busi, R. Focardi, F. Luccio Bridging the Gap: Automated Analysis of Sancus , 37th IEEE Computer Security Foundations Symposium, IEEE, pp. 233-248, Convegno: 37th IEEE Computer Security Foundations Symposium, July 8-12, 2024 (ISBN 979-8-3503-6203-9)
- URL correlato 2024, Article in Conference Proceedings - ARCA card: 10278/5044629


Alessia Michela Di Campi, Riccardo Focardi, Flaminia Luccio The Revenge of Password Crackers: Automated Training of Password Cracking Tools in Vijayalakshmi Atluri, Roberto Di Pietro, Christian D. Jensen, Weizhi Meng, Computer Security, ESORICS 2022, Springer, Cham, vol. 13554, 13555, 13556, pp. 317-336, Convegno: 27th European Symposium on Research in Computer Security, ESORICS 2022, September 26–30, 2022 (ISBN 978-3-031-17145-1)
DOI - URL correlato 2022, Article in Conference Proceedings - ARCA card: 10278/5004097


Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo FWS: Analyzing, maintaining and transcompiling firewalls in JOURNAL OF COMPUTER SECURITY, vol. 29, pp. 77-134 (ISSN 0926-227X)
DOI 2021, Journal Article - ARCA card: 10278/3735647


Riccardo Focardi; Flaminia Luccio A formally verified configuration for Hardware Security Modules in the cloud in Giovanni Vigna, Elaine Shi, Proceedings of the ACM Conference on Computer and Communications Security (ACM CCS), ACM, pp. 412-428, Convegno: Proceedings of the ACM Conference on Computer and Communications Security (CCS), November 15-19, 2021 (ISBN 978-1-4503-8454-4)
DOI 2021, Article in Conference Proceedings - ARCA card: 10278/3744159


Focardi R.; Luccio F.L.; Wahsheh H.A.M. Usable security for QR code in JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 48 (ISSN 2214-2126)
DOI 2019, Journal Article - ARCA card: 10278/3717033