Linked Presentation: Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints