1. 3
    BPF and formal verification ☶ math programming security sccs.swarthmore.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

Author reflects on their work to use formal verification on BPF. Dives into the experience instead of dry, technical report. Also pays for a Tor node per footnote. Extra credit for that.

  1.