Events

Practical Formal Methods for the Linux eBPF Verifier: Scalable Verification and Witness Generation

Event Type: PhD Defense
Speaker: Matan Shachnai

Location: Hill 350
Event Date: 10:30am - 12:00pm