Riccardo FOCARDI

Qualifica
Professore Ordinario
Telefono
041 234 8438
E-mail
focardi@unive.it
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/focardi (scheda personale)
 http://www.dsi.unive.it/~focardi
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B06 (edificio Zeta B)

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, Articolo in Atti di convegno - Scheda ARCA: 10278/5044629


Veronese L.; Palmarini F.; Focardi R.; Luccio F.L. Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs in SN COMPUTER SCIENCE, vol. 4 (ISSN 2661-8907)
DOI 2023, Articolo su rivista - Scheda ARCA: 10278/5021267


Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia Luccio A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study , 2023 IEEE International Conference on Cyber Security and Resilience, IEEE, pp. 99-104, Convegno: 2023 IEEE International Conference on Cyber Security and Resilience (IEEE CSR 23), July 31 - August 2, 2023
DOI 2023, Articolo in Atti di convegno - Scheda ARCA: 10278/5021702


Matteo Busi, Riccardo Focardi, Flaminia Luccio Automated Learning and Verification of Embedded Security Architectures , Workshop on Principles of Secure Compilation, No editor, Convegno: Workshop on Principles of Secure Compilation (PRISC'23), colocated with the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)., Sun 15 - Sat 21 January 2023
2023, Abstract in Atti di convegno - Scheda ARCA: 10278/5021701


Busi Matteo; Focardi Riccardo; Luccio Flaminia Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces in Marco Patrignani, Ethan Cecchetti, Workshop on Foundations of Computer Security (FCS23), None, Convegno: Workshop on Foundations of Computer Security (FCS23), 9th July 2023
2023, Abstract in Atti di convegno - Scheda ARCA: 10278/5024840