| Cast-as-Intended: A Formal Definition and Case Studies | 0 | 0.34 | 2021 |
| Surveying definitions of coercion resistance. | 0 | 0.34 | 2019 |
| TLS 1.3 for engineers: An exploration of the TLS 1.3 specification and Oracle's Java implementation. | 0 | 0.34 | 2019 |
| Ballot secrecy with malicious bulletin boards. | 0 | 0.34 | 2014 |
| Replay attacks that violate ballot secrecy in Helios. | 0 | 0.34 | 2012 |
| A Fair and Robust Voting System by Broadcast. | 9 | 0.58 | 2012 |
