Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. | 0 | 0.34 | 2022 |
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. | 0 | 0.34 | 2022 |
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. | 0 | 0.34 | 2020 |
Efficient Mixing of Arbitrary Ballots with Everlasting Privacy - How to Verifiably Mix the PPATC Scheme. | 0 | 0.34 | 2020 |
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. | 0 | 0.34 | 2020 |
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme. | 0 | 0.34 | 2019 |
On the Construction of Quasi-Binary and Quasi-Orthogonal Matrices over Finite Fields. | 0 | 0.34 | 2018 |
Side Channels in Deduplication: Trade-offs between Leakage and Efficiency. | 0 | 0.34 | 2017 |