Daniel Engel
- Adding Compilation Metadata To Binaries To Make Disassembly Decidable
2026/04/21 by Daniel Engel, Freek Verbeek, Pranav Kumar +1 · 1 voice
#cs.CR #cs.PL
- Formally Verified Binary-level Pointer Analysis
2025/01/29 by Freek Verbeek, Verbeek, Freek, Ali Shokri +6 · 1 voice
Biochemistry, Genetics and Molecular Biology · Computer Science · #Embedded Systems Design Techniques #Genomics and Chromatin Dynamics #Optical measurement and interference techniques #cs.SE