412 citations · 469 across the 8 of their papers we have counts for
Showing 2017 · cs.CRShow all
2 papers · 2 filters
cs.CR2017
A method for unbounded verification of privacy-type properties
Lucca Hirschi, David Baelde, Stéphanie Delaune
In this paper, we consider the problem of verifying anonymity and unlinkability in the symbolic model, where protocols are represented as processes in a variant of the applied pi c…
cs.CR2017★ 3 cited
Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy
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…