3 papers
cs.CR2023★ 2 cited
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…
cs.CR2017
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…
cs.CR2008
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…