"From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware"
V. Bergeron, K. Gorna
arXiv preprint arXiv:2606.02651
Read paper →$ echo "kudos to my co-authors"
Publications
2026
"Concolic Execution Optimized for Go Binaries using Ghidra's P-Code"
K. Gorna, N. Iooss, Y. Seurin, R. Khatoun
Software Engineering and Management: Theory and Applications, Volume 18, pp. 161–176
Read paper →"From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries"
K. Gorna, N. Iooss, Y. Seurin, R. Khatoun, K. Makan
30th ACM International Conference on Evaluation and Assessment in Software Engineering (EASE 2026)
Read paper →"Zorya: Automated Concolic Execution of Single-Threaded Go Binaries"
K. Gorna, N. Iooss, Y. Seurin, R. Khatoun
41st ACM/SIGAPP Symposium on Applied Computing (SAC 2026), pp. 2037–2044
Read paper →2025
"Exposing Go's Hidden Bugs: A Novel Concolic Framework"
K. Gorna, N. Iooss, Y. Seurin, R. Khatoun
23rd IEEE/ACIS International Conference on Software Engineering, Management and Applications (SERA 2025)
The widespread adoption of the Go programming language in infrastructure backends and blockchain projects has heightened the need for improved security measures. In this work, we present Zorya, a novel methodology leveraging concrete and symbolic (concolic) execution to evaluate Go programs comprehensively. Our solution employs Ghidra's PCode as an intermediate representation (IR). This implementation detects runtime panics in the TinyGo compiler and supports both generic and custom invariants.
Read paper →"La Menace dans le Champ des Cryptoactifs"
Les Annales des Mines, revue Enjeux Numériques, N°32 Décembre 2025
Contribution au numéro spécial de la revue Enjeux Numériques consacré aux défis de cybersécurité d'aujourd'hui et des cinq prochaines années, à l'échelle nationale et européenne. Contribution portant sur "La menace dans le champ des cryptoactifs", avec pour objectif d'éduquer et expliquer les différents aspects du blockchain et du Web3 à travers le prisme de la cybersécurité.
2022
Cybersecurity for Blockchains and Cryptos 2022
KPMG / Blockchain Partner – June 2022
Media articles related to the study:
