3 ms·End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT [pdf]2 points by matt_d 2y ago