Automatic Invariant Generation for Monitoring OS Kernel Integrity.

Hiromasa Shimada, Tatsuo Nakajima

Browse the full RTCSA paper archive.