Lorenzo Veronese

Identifiers

• name variant Lorenzo Veronese 0.60 · backfill

Papers (5)

1. LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean cs.CR · 2026 · author #2
2. Optimized two-stage AI-based Neural Decoding for Enhanced Visual Stimulus Reconstruction from fMRI Data eess.IV · 2024 · author #1
3. WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms cs.CR · 2022 · author #1
4. Bulwark: Holistic and Verified Security Monitoring of Web Protocols cs.CR · 2021 · author #1
5. Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web cs.CR · 2020 · author #3

Mentions

• 2607.03406 #2 · arxiv_oai · confidence 0.70 Lorenzo Veronese
• 2412.13237 #1 · arxiv_oai · confidence 0.70 Lorenzo Veronese
• 2201.01649 #1 · arxiv_oai · confidence 0.70 Lorenzo Veronese
• 2101.06043 #1 · arxiv_oai · confidence 0.70 Lorenzo Veronese
• 2012.01946 #3 · arxiv_oai · confidence 0.70 Lorenzo Veronese

Frequent Coauthors

• Matteo Maffei 3 shared papers
• Marco Squarcina 2 shared papers
• Mauro Tempesta 2 shared papers
• Stefano Calzavara 2 shared papers
• Andrea Moglia 1 shared papers
• Benjamin Farinier 1 shared papers
• Luca Compagna 1 shared papers
• Luca Mainardi 1 shared papers
• Magdalena Solitro 1 shared papers
• Pedro Bernardo 1 shared papers
• Pietro Cerveri 1 shared papers
• Simon Jeanteur 1 shared papers