Automated Vulnerability Detection in Go: Concolic Execution for Multi-Threaded Binaries
Watch the presentation →$ ./thesis.sh # still running...
PhD
My PhD started in June 2023 and focuses on the security of the Go programming language, with applications to cloud infrastructures and blockchain components. Here are the resources if you'd like to dig deeper.
// thesis --info
- started
- June 2023
- focus
- Security of the Go programming language, with applications to cloud infrastructures & blockchain components
- hosts
- Télécom Paris · Ledger Donjon
- advisors
- Prof. Rida Khatoun, Dr. Yannick Seurin, Nicolas Iooss
- tool
- ZORYA, concolic execution for Go binaries
- registry
- theses.fr/s366715
Papers
- 2026· ACM EASE 2026
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
arXiv:2605.03492 → - 2026· ACM SAC 2026
Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
ACM Digital Library → - 2025· IEEE SERA 2025
Exposing Go's Hidden Bugs: A Novel Concolic Framework
arXiv:2505.20183 →
Talks
Watch the presentation →