My name is Mathias Hall-Andersen, I am a cryptology PhD student at Aarhus University (Jesper Buus Nielsen / Claudio Orlandi is 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 sometimes play CTF 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.
The image above is DALL·E’s interpretation of “computation”.
Education
| Period | Title | Institution |
|---|---|---|
| 2020 - 2023 (expected) | PhD in Computer Science | Aarhus University |
| 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 (Programming/Research on DARPA SIEVE) | Trail of Bits, Remote |
| 2020 (fall) | Instructor in Distributed Systems and Security | Aarhus University |
| 2020 (summer) | Internship (Programming/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
- Curve Trees: Practical and Transparent Zero-Knowledge Accumulators.
- On Valiant’s Conjecture: Impossibility of Incrementally Verifiable Computation from Random Oracles.
- Count me in! Extendability for Threshold Ring Signatures for Asiacrypt 2022, video.
- Secure Multiparty Computation with Free Branching for Eurocrypt 2022, video.
- Stacking Sigmas: A Framework to Compose Σ-Protocols for Disjunctions for Eurocrypt 2022, video.
- Efficient Set Membership Proofs using MPC-in-the-Head for PoPETs/PETS 2022.
- Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets… for AsiaCCS 2022.
- Game Theory on the Blockchain: A Model for Games with Smart Contracts, for SAGT 2021.
- Generating Graphs Packed with Paths, for IACR-FSE-2019, video.
- nQUIC: Noise-Based QUIC Packet Protection, for EPIQ'18 (ACM)
Languages
Fluent in Danish, English, Rust, Python, Sage, C, Go, LaTex and Cryptographic jargon. Shaky in a lot more…
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.