Kevin Milner

Protocol security · Formal methods · Cryptographic engineering

Software

I am a maintainer of the Tamarin prover, a tool for the symbolic modeling and analysis of security protocols.

I am also the author of tamarin-rs, a Rust implementation of Tamarin.

Publications

You can find my publications on DBLP and Google Scholar.