<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Laura Bauman on The Trail of Bits Blog</title><link>https://miscreants.github.io/blog.trailofbits.com/authors/laura-bauman/</link><description>Recent content in Laura Bauman on The Trail of Bits Blog</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Thu, 19 Jan 2023 08:00:42 -0500</lastBuildDate><atom:link href="https://miscreants.github.io/blog.trailofbits.com/authors/laura-bauman/index.xml" rel="self" type="application/rss+xml"/><item><title>Harnessing the eBPF Verifier</title><link>https://miscreants.github.io/blog.trailofbits.com/2023/01/19/ebpf-verifier-harness/</link><pubDate>Thu, 19 Jan 2023 08:00:42 -0500</pubDate><guid>https://miscreants.github.io/blog.trailofbits.com/2023/01/19/ebpf-verifier-harness/</guid><description>During my internship at Trail of Bits, I prototyped a harness that improves the testability of the eBPF verifier, simplifying the testing of eBPF programs. My eBPF harness runs in user space, independently of any locally running kernel, and thus opens the door to testing of eBPF programs across different kernel versions. […]</description></item></channel></rss>