What a lovely hat
Is it made out of
tin foil
?
DBLP data
CryptoDB
Cryptobib
Thomas Haines
Google Scholar
20
publications in security and cryptology related venues
Year
Venue
Title
2025
conf/esorics
Formalisation of the KZG Polynomial Commitment Schemes in EasyCrypt.
Palak
Thomas Haines
2024
conf/uss
Security and Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System.
Tingfeng Yu
James Henderson
Alwen Tiu
Thomas Haines
2024
conf/fc
On the Applicability of STARKs to Counted-as-Collected Verification in Existing Homomorphic E-Voting Systems.
Max Harrison
Thomas Haines
2023
journals/popets
SoK: Secure E-Voting with Everlasting Privacy.
Thomas Haines
Rafieh Mosaheb
Johannes Müller
Ivan Pryvalov
2023
conf/uss
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth.
Thomas Haines
Rajeev Goré
Mukesh Tiwari
2023
conf/fc
On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability.
Anggrio Sutopo
Thomas Haines
Peter B. Rønne
2023
conf/esorics
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.
Constantin Catalin Dragan
François Dupressoir
Kristian Gjøsteen
Thomas Haines
Peter B. Rønne
Morten Rotvold Solberg
2022
conf/acisp
Verifiable Decryption in the Head.
Kristian Gjøsteen
Thomas Haines
Johannes Müller
Peter B. Rønne
Tjerand Silde
2021
conf/acisp
Optimal Randomized Partial Checking for Decryption Mix Nets.
Thomas Haines
Johannes Müller
2021
conf/acisp
A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose.
Thomas Haines
Johannes Müller
2021
conf/fc
New Standards for E-Voting Systems: Reflections on Source Code Examinations.
Thomas Haines
Peter B. Rønne
2021
conf/sp
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
Thomas Haines
Rajeev Goré
Bhavesh Sharma
2021
conf/eurosp
Epoque: Practical End-to-End Verifiable Post-Quantum-Secure E-Voting.
Xavier Boyen
Thomas Haines
Johannes Müller
2020
conf/fc
Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities.
Thomas Haines
Olivier Pereira
Peter B. Rønne
2020
conf/fc
Vote Selling Resistant Voting.
Colin Boyd
Thomas Haines
Peter B. Rønne
2020
conf/sp
How not to prove your election outcome.
Thomas Haines
Sarah Jamie Lewis
Olivier Pereira
Vanessa Teague
2020
conf/esorics
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing.
Xavier Boyen
Thomas Haines
Johannes Müller
2019
conf/ccs
Verified Verifiers for Verifying Elections.
Thomas Haines
Rajeev Goré
Mukesh Tiwari
2018
conf/ccs
Graphchain: a Blockchain-Free Scalable Decentralised Ledger.
Xavier Boyen
Christopher Carr
Thomas Haines
2018
conf/acisp
Forward-Secure Linkable Ring Signatures.
Xavier Boyen
Thomas Haines
Coauthors
Alwen Tiu
(1)
Anggrio Sutopo
(1)
Bhavesh Sharma
(1)
Christopher Carr
(1)
Colin Boyd
(1)
Constantin Catalin Dragan
(1)
François Dupressoir
(1)
Ivan Pryvalov
(1)
James Henderson
(1)
Johannes Müller
(6)
Kristian Gjøsteen
(2)
Max Harrison
(1)
Morten Rotvold Solberg
(1)
Mukesh Tiwari
(2)
Olivier Pereira
(2)
Palak
(1)
Peter B. Rønne
(6)
Rafieh Mosaheb
(1)
Rajeev Goré
(3)
Sarah Jamie Lewis
(1)
Thomas Haines
(20)
Tingfeng Yu
(1)
Tjerand Silde
(1)
Vanessa Teague
(1)
Xavier Boyen
(4)
Filters
Crypto
Eurocrypt
Asiacrypt
Public Key Cryptography
Theory of Cryptography
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on Cryptographic Hardware and Embedded Computing
Communications in Cryptology
Fast Software Encryption
Cryptographic Hardware and Embedded Computing Conference
Usenix Security
IEEE Security and Privacy
ACM CCS
Network and Distributed System Security
Financial cryptography
Cryptographer's Track at RSA Conference (CT-RSA)
ESORICS
IEEE Transactions on Information Forensics and Security
Computers & Security
Journal of Information Security and Applications
IEEE Conference on Blockchains and Cryptocurrency (ICBC)
Asia CCS
European Security & privacy
Symposium on Useful Privacy and Security
Privacy Enhancing Technologies
Security and Privacy in Communication Networks
Cryptology and Network Security
Annual Computer Security Applications Conference
Dependable Systems and Networks
IEEE Computer Security Foundations Workshop
IEEE Conference and Communications and Network Security
International Conference on Applied Cryptography and Network Security
Selected Areas in Cryptology
International Conference on Information Security and Cryptology (ICISC)
International Conference on Information and Communication (ICICS)
IFIP International Information Security Conference (SEC)
Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)
IEEE International Symposium on Hardware Oriented Security and Trust
New Security Paradigms Workshop
Information Hiding and Multimedia Security Workshop
Australasian Conference on Information Security and Privacy
AfricaCrypt
LatinCrypt
International Conference on Cyber Security and Resilience
Asia Joint Conference on information Security
International Conference on information Security Applications
ACM Asia Public-Key Cryptography Workshop
International Workshop on Lightweight Cryptography for Security and Privacy
Workshop on Fault Detection and Tolerance in Cryptography
International Conference on Blockchain Technology and Emerging Technologies
Provable Security
Cloud Computing Security Workshop (CCSW)
International Workshop on Security (IWSEC)
International Conference on Information System Security (ICISS)
Select all
Unselect all
Years:
to