65 citations · 67 across the 3 of their papers we have counts for
4 papers
A Protocol for Cast-as-Intended Verifiability with a Second Device
Johannes Müller, Tomasz Truderung
Numerous institutions, such as companies, universities, or non-governmental organizations, employ Internet voting for remote elections. Since the main purpose of an election is to…
Cast-as-Intended Mechanism with Return Codes Based on PETs
Achim Brelle, Tomasz Truderung
We propose a method providing cast-as-intended verifiability for remote electronic voting. The method is based on plaintext equivalence tests (PETs), used to match the cast ballots…
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols
Ralf Kuesters, Tomasz Truderung
Coercion resistance is an important and one of the most intricate security requirements of electronic voting protocols. Several definitions of coercion resistance have been propose…
Reducing Protocol Analysis with XOR to the XOR-free Case in the Horn Theory Based Approach
Ralf Kuesters, Tomasz Truderung
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils do…