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.