Publications

calendar Jan 1, 0001 · 2 min read  ·
Share on: linkedin copy

Also on Google Scholar.

Peer-reviewed

Adding Compilation Metadata To Binaries To Make Disassembly Decidable Daniel Engel, Freek Verbeek, Pranav Kumar, Binoy Ravindran IEEE QRS 2026 — July 22–25, 2026, Florence, Italy Also presented at EuroLLVM 2026 — April 14–15, 2026, Dublin, Ireland arXiv:2604.19628

Proposes a binary format sitting between a stripped black-box binary and open source: a tool inserts metadata capturing the compiler's intent, enabling lifting to a correct and recompilable higher-level representation. Metadata is roughly 17% the size of DWARF and does not affect runtime behaviour or performance.

Autonomous System of Heavy Vehicle Using CAN Networking Pranav Kumar, Uba. Sunil ICDEMI 2023 — Springer proceedings, 2024 DOI: 10.1007/978-981-97-7616-0_7

Decentralised CAN network architectures for autonomous control of heavy vehicles, developed during work at Flux Auto.

Under review

FUSE: Single-Pass Binary Co-Instrumentation for Accurate Vulnerability Detection Pranav Kumar, Freek Verbeek, Binoy Ravindran

Static binary instrumentation combining AddressSanitizer memory-safety checks with AFL++ coverage counters in a single pass over FoxDec's verified disassembly. Project page →

Thesis

FUSE: Single-Pass Binary Co-Instrumentation for Accurate Vulnerability Detection MS in Computer Engineering, Virginia Tech — defended May 4, 2026 Committee: Binoy Ravindran (Chair), Freek Verbeek, Kendall Giles

Keywords: binary rewriting, AddressSanitizer, coverage-guided fuzzing, static binary instrumentation, memory safety.

Talks & presentations

  • EuroLLVM 2026 — Adding Compilation Metadata To Binaries To Make Disassembly Decidable. Dublin, Ireland, April 2026.
  • IEEE QRS 2026 — same work. Florence, Italy, July 2026.
  • Graduate seminar, Virginia Tech — October 2024.
  • Speaker, Software Freedom Day, Panjab University — 2018 and 2019.