Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Magdalena Soltiro

Magdalena Soltiro

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Crypto×1Prog. Lang.×1

Frequent co-authors

Simon Jeanteur1×
Lorenzo Veronese1×
Matteo Maffei1×

Research Timeline

2026
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean

The paper presents an approach for verifying stateful and unbounded cryptographic protocols using compositional type-based reasoning and trace-based reasoning.

Highlighted terms show continued research focus across papers

Papers

cs.CRcs.PLTheoreticalRecentJul 3, 2026

LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean

Simon Jeanteur, Lorenzo Veronese, Magdalena Soltiro, Matteo Maffei

The paper presents an approach for verifying stateful and unbounded cryptographic protocols using compositional type-based reasoning and trace-based reasoning.

View →