Keith Makan
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Symbolic×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
The authors extend the concolic framework Zorya to analyze multi-threaded Go binaries compiled with the standard gc compiler, successfully detecting multiple real-world vulnerabilities.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.SCcs.SERecentMay 5, 2026
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
Karolina Gorna, Nicolas Iooss, Yannick Seurin, Rida Khatoun +1 more
The authors extend the concolic framework Zorya to analyze multi-threaded Go binaries compiled with the standard gc compiler, successfully detecting multiple real-world vulnerabilities.
View →