There's been some interesting work that has been done recently on building a trustworthy BPF verifier (Jitk, OSDI 2014). https://www.usenix.org/system/files/co

There's been some interesting work that has been done recently on building a trustworthy BPF verifier (Jitk, OSDI 2014). https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-wang_xi.pdf https://www.usenix.org/system/files/conference/osdi14/osdi14...