Freek Verbeek
Identifiers
No identifiers captured yet.
Papers (2)
- Adding Compilation Metadata To Binaries To Make Disassembly Decidable cs.CR · 2026 · author #2
- A benchmark for C program verification cs.PL · 2019 · author #8
Mentions
No mention provenance yet.
Frequent Coauthors
- Beno\^it Viguier 1 shared papers
- Binoy Ravindran 1 shared papers
- Daniel Engel 1 shared papers
- Daniil Frumin 1 shared papers
- Freek Wiedijk 1 shared papers
- Herman Geuvers 1 shared papers
- L\'eon Gondelman 1 shared papers
- Marc Schoolderman 1 shared papers
- Marko van Eekelen 1 shared papers
- Pranav Kumar 1 shared papers
- Robbert Krebbers 1 shared papers
- Sjaak Smetsers 1 shared papers