3 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
Cas Cremers, Lucca Hirschi
We advance the state-of-the-art in automated symbolic analysis for e-voting protocols by introducing three conditions that together are sufficient to guarantee ballot secrecy. Ther…