user4621

less info
meta site favicon meta user | stack exchange network profile network profile
76 reputation
2
bio website
location
age
visits member for 4 months
seen 2 days ago
stats profile views 1

13 Actions

suggestions reviews revisions comments badges posts accepts all
Dec
28
 revised Public keys and their protocols
added 549 characters in body
Dec
28
 answered Public keys and their protocols
Dec
27
 revised Are there any tools for modelling and analysis of Cryptographic protocols?
edited body
Dec
27
 revised Are there any tools for modelling and analysis of Cryptographic protocols?
added 41 characters in body
Dec
27
 revised Are there any tools for modelling and analysis of Cryptographic protocols?
Added links
Dec
27
 awarded  Teacher
Dec
27
 revised Are there any 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
 answered What are the cryptographic assumptions in the Dolev Yao model?
Dec
27
 revised Are there any tools for modelling and analysis of Cryptographic protocols?
More precise description of Tamarin advantage.
Dec
27
 awarded  Editor
Dec
27
 revised Are there any tools for modelling and analysis of Cryptographic protocols?
Added note on analysis tools vs design tools
Dec
27
 answered Are there any tools for modelling and analysis of Cryptographic protocols?