The following pages link to Formalising Receipt-Freeness (Q3506899):
Displaying 3 items.
- Privacy and verifiability in voting systems: methods, developments and trends (Q395657) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Incoercible Multi-party Computation and Universally Composable Receipt-Free Voting (Q3457094) (← links)