Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking |
35th IEEE Symposium on Security and Privacy
|
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System |
35th IEEE Symposium on Security and Privacy
|