8 citations · 8 across the 2 of their papers we have counts for
2 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…