Reputation
375
Next privilege 500 Rep.
Cast close and reopen votes
Badges
1 4
Newest
 Yearling
Impact
~2k people reached

  • 0 posts edited
  • 0 helpful flags
  • 6 votes cast
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