Pages that link to "Item:Q3192178"
From MaRDI portal
The following pages link to Electronic Voting: How Logic Can Help (Q3192178):
Displaying 7 items.
- Schulze voting as evidence carrying computation (Q1687758) (← links)
- On the security properties of e-voting bulletin boards (Q1796816) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)
- Static validation of a voting protocol (Q2848486) (← links)
- Algebraic Methodology and Software Technology (Q5313008) (← links)
- Programming Languages and Systems (Q5316564) (← links)
- One vote is enough for analysing privacy (Q6173285) (← links)