Explore an innovative approach to generating syscall descriptions for kernel drivers in this 15-minute IEEE conference talk. Learn about SyzDescribe, a principled and automated static analysis tool designed to enhance the efficiency and accuracy of syscall description generation. Discover how researchers from the University of California, Riverside and Irvine have developed this cutting-edge solution to address challenges in kernel driver testing and security analysis. Gain insights into the methodology, implementation, and potential impact of SyzDescribe on improving kernel driver reliability and vulnerability detection.
SyzDescribe - Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
Overview
Syllabus
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
-
SyzDescribe - Automated Static Generation of Syscall Descriptions for Kernel Drivers
-
Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation
-
Unleashing D* on Android Kernel Drivers
-
Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis
-
UTOPIA - Automatic Generation of Fuzz Driver Using Unit Tests
-
An I/O Separation Model for Formal Verification of Kernel Implementations
