Pages that link to "Item:Q3497514"
From MaRDI portal
The following pages link to A formal framework for quantifying voter-controlled privacy (Q3497514):
Displaying 6 items.
- Privacy and verifiability in voting systems: methods, developments and trends (Q395657) (← links)
- Protecting the privacy of voters: new definitions of ballot secrecy for e-voting (Q832400) (← links)
- Optimal defense against election control by deleting voter groups (Q1647508) (← links)
- Relations between privacy, verifiability, accountability and coercion-resistance in voting protocols (Q2096617) (← links)
- Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)
- A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (Q4647845) (← links)