Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li and Eyal de Lara. The Taser intrusion recovery system. In Proceedings of the Symposium on Operating Systems Principles (SOSP). October, 2005.