My latest project, in collaboration with @cascremers.bsky.social, is out! It is Bob DyLean, a framework to analyze cryptographic protocols in the symbolic model, in Lean.
Théophile Wallez
@twal.org
97 followers 39 following 15 posts
Post-doc researcher at CISPA, working on secure group messaging & machine-checked security proofs.