Linguistic and Cultural Mediation [LT5-21-21]
Enrolled in a.y. 2021/2022

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)
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)

Salvatore Bramante, Matteo Busi, Alessandro Cilardo, Riccardo Focardi, Flaminia Luccio , Stefano Mercogliano A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers , Proceedings of Design, Automation and Test in Europe Conference (DATE'26), IEEE, pp. 1-3, Convegno: Design, Automation and Test in Europe Conference (DATE'26)
DOI 2026, Abstract in Atti di convegno - Scheda ARCA: 10278/5113527


Matteo Busi; Riccardo Focardi; Sana Gul; Flaminia L. Luccio Automated Analysis of Key Management Policies , Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), CEUR, vol. 3962, Convegno: Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), February 3-8, 2025
- URL correlato 2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5094691


Calzavara S.; Casarin S.; Focardi R. Dynamic Security Analysis of JavaScript: Are We There Yet? , WWW 2025 - Proceedings of the ACM Web Conference, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, Inc, pp. 1105-1115, Convegno: 34th ACM Web Conference, WWW 2025, 2025
DOI 2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5104730


Attaullah Buriro; Flaminia Luccio; Riccardo Focardi EUAS-GAN: Enhancing User Authentication on Smartphones Through GAN-Based Swiping Data Augmentation in Barolli, L., Advanced Information Networking and Applications, Springer, Cham, vol. 247, pp. 329-341, Convegno: International Conference on Advanced Information Networking and Applications (ISBN 978-3-031-87768-1)
DOI - URL correlato 2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5092507


Matteo Busi; Riccardo Focardi; Flaminia L. Luccio Strands Rocq: Why is a Security Protocol Correct, Mechanically? , CSF 2025 – 38th IEEE Computer Security Foundations Symposium, IEEE, Convegno: CSF 2025 – 38th IEEE Computer Security Foundations Symposium, June 16-20, 2025
2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5094692