Build a Learning Habit
Download Class Central's free printable study calendar
Download for Free
Learn about a novel automated tool for securing context switching in operating systems and confidential computing frameworks through this 14-minute conference presentation. Discover how Sailor leverages machine-readable ISA specifications written in Sail and the Isla symbolic execution engine to automatically identify all instruction set architecture (ISA) state that must be swapped during context switches, addressing the tedious and error-prone manual process of examining hundreds of pages of ISA documentation. Explore the tool's assessment of context switch code across multiple systems, including RISC-V Linux kernel user process switching on StarFive VisionFive2 boards and enclave context switching in Keystone and Komodo confidential computing frameworks. Understand how this research exposes critical security vulnerabilities where mishandled security-sensitive ISA state creates attack surfaces that unprivileged adversaries can exploit, and examine the multiple instances of mishandled ISA state identified in real-world systems.
