My PhD started in June 2023 and focuses on the security of the Go programming language, with applications to cloud infrastructures and blockchain components. I’m sharing the resources below if you’d like to learn more:
Details:
https://theses.fr/s366715
Resources:
Github of the main contribution: https://github.com/Ledger-Donjon/zorya
[PAPER] “From TinyGo to gc Compiler: Extending Zorya’s Concolic Framework to Real-World Go Binaries”
Accepted in the 30th ACM International Conference on Evaluation and Assessment in Software Engineering (EASE 2026)
https://arxiv.org/pdf/2605.03492
[PAPER] “Zorya: Automated Concolic Execution of Single-Threaded Go Binaries”
Accepted in the 41st ACM/SIGAPP Symposium on Applied Computing (SAC 2026)
https://dl.acm.org/doi/pdf/10.1145/3748522.3779940
[PAPER] “Exposing Go’s Hidden Bugs: A Novel Concolic Framework“
Accepted in the 23rd IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2025)
https://arxiv.org/pdf/2505.20183
[ORAL PRESENTATION] Pass the SALT 2026 – “Automated Vulnerability Detection in Go: Concolic Execution for Multi-Threaded Binaries”
[ORAL PRESENTATION] EthCC [8] Talk – Hunting Blockchain Clients’ Bugs with Concolic Execution
