| 2025 | ICSE | Formally Verified Binary-Level Pointer Analysis. | Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran |
| 2024 | CCS | Poster: Formally Verified Binary Lifting to P-Code. | Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran |
| 2024 | CCS | Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly. | Freek Verbeek, Nico Naus, Binoy Ravindran |
| 2024 | DIMVA | Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries. | Joshua A. Bockenek, Freek Verbeek, Binoy Ravindran |
| 2024 | TASE | On the Decidability of Disassembling Binaries. | Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2023 | TAP | BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. | Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2023 | TAP | Low-Level Reachability Analysis Based on Formal Logic. | Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran |
| 2022 | PLDI | Formally verified lifting of C-compiled x86-64 binaries. | Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran |
| 2020 | SEFM | Sound C Code Decompilation for a Subset of x86-64 Binaries. | Freek Verbeek, Pierre Olivier, Binoy Ravindran |
| 2020 | TACAS | Highly Automated Formal Proofs over Memory Usage of Assembly Code. | Freek Verbeek, Joshua A. Bockenek, Binoy Ravindran |
| 2019 | CPP | Formally verified big step semantics out of x86-64 binaries. | Ian Roessle, Freek Verbeek, Binoy Ravindran |
| 2019 | MEMOCODE | Establishing a refinement relation between binaries and abstract code. | Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle |
| 2019 | SAFECOMP | Formal Verification of Memory Preservation of x86-64 Binaries. | Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran |
| 2017 | FMCAD | Estimating worst-case latency of on-chip interconnects with formal simulation. | Freek Verbeek, Nik van Vugt |
| 2016 | DATE | ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects. | Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh |
| 2014 | SAFECOMP | On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. | Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum |
| 2011 | FMCAD | Hunting deadlocks efficiently in microarchitectural models of communication fabrics. | Freek Verbeek, Julien Schmaltz |
| 2011 | PDP | A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free. | Freek Verbeek, Julien Schmaltz |
| 2010 | DATE | Formal specification of networks-on-chips: deadlock and evacuation. | Freek Verbeek, Julien Schmaltz |
| 2010 | ITP | A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks. | Freek Verbeek, Julien Schmaltz |