Ca' Foscari University of Venice | Cybersecurity Certification and Assessment Tools

Ca’ Foscari University of Venice

Venice, Italy

Ca’ Foscari University of Venice (UNIVE) is a public institution with over 150 years of history. Founded on 6 August 1868 as the Scuola Superiore di Commercio (Royal School of Commerce), it is recognised nationally and internationally for its research and the quality of its international and interdisciplinary teaching.

The university community includes more than 23,000 students and around 1,400 faculty and staff from across the world. The main campus is located in a Gothic palace overlooking the Grand Canal, with additional venues spread throughout the historic centre of Venice, as well as in Mestre and Treviso. Ca’ Foscari is a member of EUTOPIA, an alliance of ten European universities, and its alumni network includes over 80,000 graduates worldwide.

The University is organised into eight departments and three schools. Among them, the Department of Environmental Sciences, Informatics and Statistics (DAIS) integrates expertise in biology and ecology, chemistry, computer science and engineering, earth sciences, environmental and civil engineering, and statistics. Its research focuses on climate change, complexity, cultural heritage conservation, monitoring, risk, security, and sustainability. Often pursued through interdisciplinary approaches, research at DAIS is conducted in collaboration with public institutions and local stakeholders and is supported through competitive funding programmes at regional, national, and European levels.

The university The department

Our Team

Flaminia Lucci

WP3 Leader

Flaminia Lucci is a Full Professor at Ca’ Foscari University of Venice, Italy.

She has been a visiting researcher at Carleton University in Ottawa, the University of Ottawa, and the University of Montreal in Canada, as well as at the École Normale Supérieure de Lyon and Université Bordeaux 1 in France.

Her research focuses on the development and analysis of algorithms for distributed systems, computer security—particularly cryptography, security APIs, and trusted hardware—and usable security. She has published more than one hundred papers in international journals and conference proceedings.

She has served as local coordinator of the Ca’ Foscari research group for several projects, including the CCAT “Cybersecurity Certification and Assessment Tools” project and the Amadeus PRIN 2022 PNRR project, and as national coordinator for the SERICS SCAI PNRR Mission 4 project. She has also served on the Program Committee of many international conferences.

Riccardo Focardi

Researcher

Riccardo Focardi is a Full Professor of Computer Science at Ca’ Foscari University of Venice.

His research focuses on cybersecurity, formal methods, and software verification, with particular emphasis on the formal analysis of security protocols, authentication systems, access control, information flow control, and secure implementations. He has coordinated and participated in several national and European research projects in cybersecurity, gaining significant experience in international collaboration and research leadership.

He has authored over 100 peer-reviewed publications in leading international conferences and journals in computer security and formal methods. Prof. Focardi has also been active in technology transfer, co-founding Cryptosense and 10Sec S.r.l., both university spin-offs specializing in advanced cybersecurity analysis and assessment, including cryptographic implementations, embedded systems, IoT, and automotive security.

Matteo Busi

Researcher

Matteo Busi is a researcher at Ca’ Foscari University of Venice, where he works on formal methods and their applications to secure compilation, side-channel attacks, and cryptography.

He earned his PhD in Computer Science from the University of Pisa in 2021. Until the end of 2025, he was involved in the “Security and Rights in the CyberSpace” (SERICS) project, funded by the European Union’s NextGenerationEU programme, as well as in the Amadeus PRIN 2022 PNRR project.

He is currently contributing to the CCAT project, working on extending and improving the ALVIE tool for the formal security analysis of embedded security architectures. Matteo has also served on programme and artifact evaluation committees for several leading conferences in the field.