Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness.

Jiayi Lu, Shenghao Yuan, David Sann, Yongwang Zhao

Browse the full SETTA paper archive.