Agost Biro

I'm a software engineer interested in formal methods, distributed systems and cryptography. I work primarily in Rust and enjoy tinkering with Lean.

[Agost Biro @agostbiro]

First formal security verification of a Rust cryptographic protocol implementation: Bert13, a post-quantum TLS 1.3 library. One codebase, three provers via hax — SSProve (key schedule), ProVerif (auth + forward secrecy), F★ (panic-freedom).

https://t.co/fVXA1EWAGx

[Agost Biro @agostbiro]

New Post: Paxos From First Principles

https://t.co/sotvU0FzqH

[Nassim Nicholas Taleb @nntaleb]

@GeertNoels More details about precaution w/respect to climate.