Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly
- Freek Verbeek
- , Nico Naus
- , Binoy Ravindran
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review