End-to-End Verifiable Quadratic Voting with Everlasting Privacy

von Pereira, Olivier
Veröffentlicht in FC (23. : 2019 : Saint Kitts) Financial cryptography and data security (2020)

From world-sheet supersymmetry to super target spaces

von Creutzig, Thomas
Veröffentlicht 2010

The GL(1/1)-symplectic fermion correspondence

von Creutzig, Thomas
Veröffentlicht 2008

Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities

von Haines, Thomas
Veröffentlicht in AsiaUSEC (2020 : Kota Kinabalu) Financial cryptography and data security (2020)

N=2 superconformal symmetry in super coset models

von Creutzig, Thomas
Veröffentlicht 2009

Vote Selling Resistant Voting

von Boyd, Colin
Veröffentlicht in AsiaUSEC (2020 : Kota Kinabalu) Financial cryptography and data security (2020)

Cast-as-Intended: A Formal Definition and Case Studies

von Rønne, Peter B.
Veröffentlicht in FC (Veranstaltung : 25. : 2021 : Online) Financial cryptography and data security (2021)

Short Paper: Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme

von Zollinger, Marie-Laure
Veröffentlicht in AsiaUSEC (2020 : Kota Kinabalu) Financial cryptography and data security (2020)

Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme

von Rønne, Peter B.
Veröffentlicht in FC (23. : 2019 : Saint Kitts) Financial cryptography and data security (2020)

Verifiable Inner Product Encryption Scheme

von Soroush, Najmeh
Veröffentlicht in PKC (23. : 2020 : Online) Public-key cryptography - PKC 2020 ; Part 1 (2020)

A Lightweight Implementation of NTRU Prime for the Post-quantum Internet of Things

von Cheng, Hao
Veröffentlicht in WISTP (13. : 2019 : Paris) Information security theory and practice (2020)

High-Throughput Elliptic Curve Cryptography Using AVX2 Vector Instructions

von Cheng, Hao
Veröffentlicht in SAC (27. : 2020 : Online) Selected areas in cryptography (2021)

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting

von Estaji, Ehsan
Veröffentlicht in E-Vote-ID (5. : 2020 : Online) Electronic voting (2020)

Machine-Checked Proofs of Accountability: How to sElect Who is to Blame

von Dragan, Constantin Catlin
Veröffentlicht in European Symposium on Research in Computer Security (28. : 2023 : Den Haag) Computer security - ESORICS 2023 ; Part 3 (2024)

Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols

von Fotiadis, Georgios
Veröffentlicht in STM (17. : 2021 : Online) Security and trust management (2021)

Who Was that Masked Voter? The Tally Won’t Tell!

von Ryan, Peter Y. A.
Veröffentlicht in E-Vote-ID (6. : 2021 : Online) Electronic Voting (2021)

Financial cryptography and data security : FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019 : revised selected papers

Veröffentlicht 2020

Time, Privacy, Robustness, Accuracy: Trade-Offs for the Open Vote Network Protocol

von Orche, Fatima-Ezzahra El
Veröffentlicht in E-Vote-ID (7. : 2022 : Bregenz) Electronic voting (2022)

Financial cryptography and data security : FC 2020 international workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020 : revised selected pape...

Veröffentlicht 2020