Cited By
View all- Devillez HPereira OPeters TYang Q(2024)Can we cast a ballot as intended and be receipt free?2024 IEEE Symposium on Security and Privacy (SP)10.1109/SP54263.2024.00176(3440-3457)Online publication date: 19-May-2024
- Mieno TOkazaki HArai KFuta Y(2024)How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerifIEEE Access10.1109/ACCESS.2024.336845312(31605-31625)Online publication date: 2024