I am Mathias Hall-Andersen, a cryptology PhD student at Aarhus University (Jesper Buus Nielsen / Claudio Orlandi are my advisor/co-advisor resp.). I have a broad interest in security and privacy enhancing technology in general including cryptography, cryptanalysis, coding theory, reverse engineering and anything which lies in the intersection. I also sometimes play/organize CTFs with Kalmarunionen. On this site I post my thoughts on cryptography related technical matters, projects I have been working on and write-ups for CTF challenges.
Education
| Period | Title | Institution |
|---|---|---|
| 2020 - 2023 (expected) | PhD in Computer Science | Aarhus University |
| 2022 (fall) | Visiting Researcher | Boston University (BUSec) |
| 2017 - 2020 | Master in Computer Science | University of Copenhagen |
| 2019 (fall) | Master Thesis (Contingent Payments) | Aarhus University |
| 2018 (fall) | Exchange | ETH Zürich (D-INFK) |
| 2017 | Bachelor Thesis (Linear Cryptanalysis) | Technical University of Denmark |
| 2014 - 2017 | Bachelor in Computer Science | University of Copenhagen |
Work
| Period | Title | Institution |
|---|---|---|
| 2020 (fall) - 2023 | PhD Student | Aarhus University |
| 2022 (summer) | Internship, Cryptographic Engineering (Rust) | O(1) Labs, Remote |
| 2021 (summer) | Internship (Development/Research on DARPA SIEVE) | Trail of Bits, Remote |
| 2020 (fall) | Instructor in Distributed Systems and Security | Aarhus University |
| 2020 (summer) | Internship (Development/Research on DARPA SIEVE) | Trail of Bits, Remote |
| 2020 (spring) | External lecturer in Proactive Computer Security | University of Copenhagen |
| 2019 (fall) | Open source development on WireGuard-rs (NGI; Next-Generation Internet grant) | NLnet (Sponsor) |
| 2019 (spring) | Instructor in Proactive Computer Security | University of Copenhagen |
| 2018 (summer) | Internship (Security Consultant) | NCC Group, New York (Cryptography Services) |
| 2017 (fall) - 2018 | TA in Practical Cryptology | Technical University of Denmark |
| 2017 (summer) | Google Summer of Code (created WireGuard-go) | WireGuard (Linux Foundation) |
| 2016 (fall) | Instructor in Computer Systems | University of Copenhagen |
| 2016 | Student Assistant | Deloitte CRS |
| 2015 | Java programmer | Skandinaviska Enskilda Banken |
Research
Preprints
- Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.
Matteo Campanelli, Mathias Hall-Andersen and Simon Holmgaard Kamp.
Publications
- Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions for Eurocrypt 2023.
Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk and Nicholas Spooner. - On Valiant’s Conjecture: Impossibility of IVC from Random Oracles for Eurocrypt 2023.
Mathias Hall-Andersen and Jesper Buus Nielsen. - Efficient Proofs of Software Exploitability for Real-world Processors for PoPETs 2023.
Matthew Green, Mathias Hall-Andersen, Eric Hennenfent, Gabriel Kaptchuk, Benjamin Perez and Gijs Van Laer. - Count me in! Extendability for Threshold Ring Signatures for Asiacrypt 2022, video.
Diego F. Aranha, Mathias Hall-Andersen, Anca Nitulescu, Elena Pagnin and Sophia Yakoubov. - Secure Multiparty Computation with Free Branching for Eurocrypt 2022, video.
Aarushi Goel, Mathias Hall-Andersen, Aditya Hegde and Abhishek Jain. - Stacking Sigmas: A Framework to Compose Σ-Protocols for Disjunctions for Eurocrypt 2022, video.
Aarushi Goel, Matthew Green, Mathias Hall-Andersen and Gabriel Kaptchuk. - Efficient Set Membership Proofs using MPC-in-the-Head for PoPETs 2022. video.
Aarushi Goel, Matthew Green, Mathias Hall-Andersen, and Gabriel Kaptchuk. - Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets… for AsiaCCS 2022.
Matteo Campanelli and Mathias Hall-Andersen. - Game Theory on the Blockchain: A Model for Games with Smart Contracts, for SAGT 2021.
Mathias Hall-Andersen and Nikolaj I. Schwartzbach - Generating Graphs Packed with Paths, for IACR-FSE-2019, video.
Mathias Hall-Andersen and Philip S. Vejre - nQUIC: Noise-Based QUIC Packet Protection, for EPIQ'18 (ACM)
Mathias Hall-Andersen, David Wong, Nick Sullivan and Alishah Chator.
Languages
Fluent in Danish, English, Rust, Python, Sage, C, Go, LaTex and Cryptographic jargon. Shaky in a lot more…
Writing
A few examples of my technical writing:
- Blog post about git-ring. (ring signatures)
- Blog post about differential fault attacks. (hardware attacks)
- Blog post about zero-correlation linear cryptanalysis. (symmetric cryptanalysis)
- Documentation/explainer of accumulation schemes. (recursive zero-knowledge proofs)
- Blog post about Reverie. (zero-knowledge proofs)
Contact
| Github | https://github.com/rot256 |
| Personal Email | \(\text{math}\)\(\text{ias}\)\(@\)\(\text{hall-an}\text{dersen.dk}\) |
| PGP Key | /key.asc or keybase.io, Fingerprint: 71e1ec2b778745710667d51dae331b20b3c8a5c2 |
| Website | rot256.dev – you are looking at it. |
| DBLP | https://dblp.org/pid/225/9829.html |
Questions? Comments? Interesting projects? Feel free to drop me an email.