Welcome to the 2nd Workshop on Kernel Isolation, Safety and Verification (KISV'24) submissions site.

Submissions

The deadline for registering submissions has passed.