LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
Simon Jeanteur, Lorenzo Veronese, Magdalena Soltiro, Matteo Maffei
0 citationsarXiv (Cornell University)
Lorenzo Veronese
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
10Publications signalées
57Citations signalées
2Affiliations récentes
Institutions déclarées
Domaines associés
Web Application Security VulnerabilitiesNetwork Security and Intrusion DetectionAdvanced Malware Detection TechniquesAdvanced Authentication Protocols SecurityNetwork Packet Processing and Optimization
Publications récentes
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
Simon Jeanteur, Lorenzo Veronese, Magdalena Solitro, Matteo Maffei
0 citationsarXiv (Cornell University)
Tabbed Out: Subverting the Android Custom Tab Security Model
Philipp Beer, Marco Squarcina, Lorenzo Veronese, Martina Lindorfer
3 citations
Clinical, Sociodemographic, and Psychological Factors Associated with Transition Readiness in Patients with Epilepsy
Mariacarolina Vacca, Mariana Fernandes, Lorenzo Veronese, Andrea Ballesio et autres
4 citationsBrain Sciences
FWS: Analyzing, maintaining and transcompiling firewalls
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi et autres
9 citationsJournal of Computer Security
Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web.
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara et autres
10 citationsUSENIX Security Symposium
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara et autres
2 citationsarXiv (Cornell University)
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
Lorenzo Veronese, Stefano Calzavara, Luca Compagna
2 citationsLecture notes in computer science
Language-Independent Synthesis of Firewall Policies
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi et autres
25 citations
Firewall management with FireWall synthesizer
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta et autres
2 citationsCINECA IRIS Institutial research information system (University of Pisa)
BNTIC News n’est pas le producteur de ces données. Recherche à la demande dans Crossref et Europe PMC, sans clé ; OpenAlex reste optionnel. Aucun service payant requis, aucune réponse conservée. Sources et limites.