Riccardo Focardi

Identifiers

• name variant Riccardo Focardi 0.60 · backfill

Papers (4)

1. Strands Rocq: Why is a Security Protocol Correct, Mechanically? cs.CR · 2025 · author #2
2. Bridging the Gap: Automated Analysis of Sancus cs.CR · 2024 · author #2
3. A Formally Verified Configuration for Hardware Security Modules in the Cloud cs.CR · 2021 · author #1
4. Language-Based Web Session Integrity cs.CR · 2020 · author #2

Mentions

• 2502.12848 #2 · arxiv_oai · confidence 0.70 Riccardo Focardi
• 2404.09518 #2 · arxiv_oai · confidence 0.70 Riccardo Focardi
• 2109.13631 #1 · arxiv_oai · confidence 0.70 Riccardo Focardi
• 2001.10405 #2 · arxiv_oai · confidence 0.70 Riccardo Focardi

Frequent Coauthors

• Flaminia L. Luccio 2 shared papers
• Matteo Busi 2 shared papers
• Flaminia Luccio 1 shared papers
• Matteo Maffei 1 shared papers
• Mauro Tempesta 1 shared papers
• Niklas Grimm 1 shared papers
• Stefano Calzavara 1 shared papers