8 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.CR2025
Strands Rocq: Why is a Security Protocol Correct, Mechanically?
Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
Strand spaces are a formal framework for symbolic protocol verification that allows for pen-and-paper proofs of security. While extremely insightful, pen-and-paper proofs are error…
cs.CR2021★ 8 cited
A Formally Verified Configuration for Hardware Security Modules in the Cloud
Riccardo Focardi, Flaminia L. Luccio
Hardware Security Modules (HSMs) are trusted machines that perform sensitive operations in critical ecosystems. They are usually required by law in financial and government digital…
cs.DC2014★ 1 cited
Mobile Agents Rendezvous in spite of a Malicious Agent
Shantanu Das, Flaminia L. Luccio, Euripides Markou
We examine the problem of rendezvous, i.e., having multiple mobile agents gather in a single node of the network. Unlike previous studies, we need to achieve rendezvous in presence…