User:Mpdehnel

Martin Dehnel-Wild is a Computer Scientist (DPhil Student) at the University of Oxford. He is supervised by Cas Cremers and Andrew Martin.

Pages I have created / maintain

 * Tamarin Prover

Pages I want to edit when I have time:

 * Steganography
 * Ternary Embedding
 * SPAM Feature set

Some other crypto / number theoretic pages:
 * Blum's Gradual Fair Exchange protocol?
 * Malkhi et al.'s Fairplay?
 * Camenisch-Shoup Encryption, LS Encryption?
 * Integer Commitment (Dåmgard & Fujisaki)
 * Dolev Yao
 * Create pages for various protocol security models, such as CK, eCK, eCK-PFS etc.