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…
astro-ph.SR2025
CoSEE-Cat: A Comprehensive Solar Energetic Electron event Catalogue obtained from combined in situ and remote-sensing observations from Solar Orbiter -- Catalogue description and first statistical results
A. Warmuth, F. Schuller, R. Gómez-Herrero +39
(abridged) The acceleration of particles at the Sun and their propagation through interplanetary space are key topics in heliophysics. Specifically, solar energetic electrons (SEEs…