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:
“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
Github of the main contribution: https://github.com/Ledger-Donjon/zorya
EthCC [8] Talk – Hunting Blockchain Clients’ Bugs with Concolic Execution
