355 reputation
14
bio website
location
age
visits member for 1 year, 10 months
seen Dec 6 '13 at 21:40

Aug
3
revised Does there exist a two-pass AKE protocol that is secure in eCK model and also has PFS?
deleted 27 characters in body
Aug
1
revised Does there exist a two-pass AKE protocol that is secure in eCK model and also has PFS?
added 110 characters in body
Jul
7
revised Authenticated DH, what protocols are secure?
minor rephrase
Dec
28
revised Public keys and their protocols
added 549 characters in body
Dec
27
revised Tools for modelling and analysis of cryptographic protocols
edited body
Dec
27
revised Tools for modelling and analysis of cryptographic protocols
added 41 characters in body
Dec
27
revised Tools for modelling and analysis of cryptographic protocols
Added links
Dec
27
revised Tools for modelling and analysis of cryptographic protocols
added 73 characters in body
Dec
27
revised What are the cryptographic assumptions in the Dolev Yao model?
added 68 characters in body
Dec
27
revised Tools for modelling and analysis of cryptographic protocols
More precise description of Tamarin advantage.
Dec
27
revised Tools for modelling and analysis of cryptographic protocols
Added note on analysis tools vs design tools