Agni: Fast Formal Verification of the Verifier's Range Analysis

Offered By: Linux Plumbers Conference via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a conference talk that delves into the intricacies of fast formal verification techniques for range analysis in verifiers. Learn about the Agni tool, its implementation, and how it enhances the verification process for eBPF programs. Discover the challenges faced in verifying range analysis and the innovative solutions proposed to overcome them. Gain insights into the performance improvements achieved through Agni and its potential impact on the Linux kernel's eBPF verifier.

Syllabus

Agni: Fast Formal Verification of the Verifier's Range Analysis - CHAIGNON, Paul

Taught by

Linux Plumbers Conference

Related Courses

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX Developing Secure Software
LinkedIn Learning Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy