The 3rd Workshop on Kernel Isolation, Safety and Verification (KISV 2025) will be held in Seoul, South Korea.

Topics of interest include, but are not limited to:  Operating Systems, Systems Security, Verification.

Deadline for sending contributions: Aug 08, 2025