My PhD started in June 2023 and focuses on the security of the Go programming language, with applications to 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
PRESENTATIONS:
[PAPER] “Exposing Go’s Hidden Bugs: A Novel Concolic Framework“
Accepted paper in the 23rd IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2025)
https://arxiv.org/pdf/2505.20183
[ORAL PRESENTATION] EthCC [8] Talk – Hunting Blockchain Clients’ Bugs with Concolic Execution
