Formal verification researcher who machine-proved iMessage PQ3
Postdoctoral Researcher, Information Security · current
Felix formally proved PQ3's security against a quantum attacker with the Tamarin prover, turning a marketing claim into a machine-checked theorem. Verification at that standard is exactly what private messaging for a billion people deserves.
We built this from your public work because we think it deserves celebrating. You did not ask us to, so the only fair thing is that you decide what happens to it. Claim it and it is yours to edit. Ask us to change something and we will. Ask us to take it down and it is gone within 72 hours — free, no account needed, and nobody will try to talk you out of it.