publication venue for Who watches the watchmen? - protecting operating system reliability mechanisms 2012
