Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
2 papers
cs.CR2026
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
Karolina Gorna, Nicolas Iooss, Yannick Seurin +2
Zorya is a concolic execution framework that lifts compiled binaries to Ghidra's P-Code intermediate representation and uses the Z3 SMT solver to detect vulnerabilities by reasonin…
cs.SE2025
Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
Karolina Gorna, Nicolas Iooss, Yannick Seurin +1
Go's adoption in critical infrastructure intensifies the need for systematic vulnerability detection, yet existing symbolic execution tools struggle with Go binaries due to runtime…