Suneetha Nadella, and Dharanipragada Janakiram. Message filters for hardening the Linux kernel.. Softw., Pract. Exper., (41)1:51-62, 2011. [PUMA: dblp linux puma test] URL