Preprints

• F. Günther, D. Stebila, and S. Veitch. Kemeleon Encodings. Internet-Draft.We recently wrote an Internet-Draft on random encodings for ML-KEM public keys and ciphertexts. I'd be happy to receive any feedback!

Papers

1. F. Günther, M. Rosenberg, D. Stebila, and S. Veitch. Hybrid Obfuscated Key Exchange and KEMs. To appear at Crypto 2025. [eprint]
2. M. Mazmudar, S. Veitch, and R. Akhavan Mahdavi. Peer2PIR: Private Queries for IPFS. 2025 IEEE Symposium on Security and Privacy (SP), 4438-4456. [arxiv] [article] [code]
3. D. Francolla, M. Filić, and S. Veitch. Privacy Implications of AMQ-Based PQ TLS Authentication. ACM CoNEXT 2024, 65-72. [article]
4. F. Günther, D. Stebila, and S. Veitch. Obfuscated Key Exchange. ACM CCS 2024, 2385-2399. [eprint] [article]
5. S. Veitch, and D. R. Stinson. Unconditionally secure non-malleable secret sharing and circular external difference families. Designs, Codes and Cryptography, Vol. 92, 941-956, (2024). [article] [arxiv]
6. D. Keeler, C. Komlo, E. Lepert, S. Veitch, and X. He. DPrio: Efficient Differential Privacy with High Utility for Prio. Proceedings on Privacy Enhancing Technologies 2023 (3), 375-390. [article] [artifact]
7. T. Humphries, R. A. Mahdavi, S. Veitch, and F. Kerschbaum. Selective MPC: Distributed Computation of Differentially Private Key Value Statistics. ACM CCS 2022, 1459-1472. [arxiv] [article] [code]
8. N. Bindel, D. Stebila, and S. Veitch. Improved attacks against key reuse in learning with errors key exchange. Latincrypt 2021, 168-188. [eprint] [article] [code]
9. D. R. Stinson, and S. Veitch. Block-avoiding point sequencings of arbitrary length in Steiner triple systems. Australasian Journal of Combinatorics, 77 (2020), 87-99. [arxiv] [article]
10. D. L. Kreher, D. R. Stinson, and S. Veitch. Block-avoiding point sequencings of Mendelsohn triple systems. Discrete Mathematics, Vol. 343, Issue 5 (2020), 111799. [arxiv] [article] [technical report]
11. D. L. Kreher, D. R. Stinson, and S. Veitch. Block-avoiding point sequencings of directed triple systems. Discrete Mathematics, Vol. 343, Issue 4 (2020), 111773. [arxiv] [article] [technical report]
12. C. J. Colbourn, D. R. Stinson, and S. Veitch. Constructions of optimal orthogonal arrays with repeated rows. Discrete Mathematics, Vol. 342, Issue 9 (2019), 2455-2466. [arxiv] [article] ✩ Editor's Choice 2019 ✩

1. Applied Cryptography (Spring 2024, Spring 2025)
2. Discrete Mathematics (Autumn 2023, Autumn 2024)
3. Computer Science II (Spring 2023)

1. SYDE361 Engineering Design (Spring 2022)
2. SYDE362 Capstone Project (Winter 2022)
3. SYDE161 Introduction to Design (Fall 2021)
4. CS458/658 Computer Security and Privacy (Winter 2021, Spring 2021)
5. CS135 Designing Functional Programs (Fall 2020)
6. MATH135 Algebra for Honours Mathematics (Fall 2017, Winter 2018)

• Luca Maier, Master Thesis, 2025. Formal Analysis of the SecureDrop Protocol. Co-advisors: David Basin, Felix Linker.
• Eduarda Assunção, Semester Project, 2025. Analyzing IKEv2: Security Proofs, Known Attacks, and Other Insights. Co-advisor: Kenny Paterson.
• Antonino Orofino, Master Thesis, 2024. An Investigation of VPN Fingerprinting. Co-advisors: Lenka Mareková, Kenny Paterson.
• Dimitri Francolla, Semester Project, 2024. Privacy Implications of AMQ-Based PQ TLS Authentication. Co-advisors: Kenny Paterson, Mia Filić.
• Iana Peix, Semester Project, 2023. Repairable Threshold Schemes with Malicious Security. Co-advisor: Kenny Paterson.
• Lena Csomor, Master Thesis, 2023. Bridging the Gap between Privacy Incidents and PETs. Co-advisors: Kenny Paterson, Anwar Hithnawi, Alexander Viand.