Send email Copy Email Address
2014-01-01

Automated Analysis of Security Protocols with Global State

Conference / Medium

Proc. 35th IEEE Symposium on Security and Privacy (S&P'14)

Date published

2014-01-01

Date last modified

2017-07-27 07:03:34