Ashvin Goel Kenneth Po Kamran Farhadi Zheng Li Eyal de Lara The taser intrusion recovery system. 163-176 2005 conf/sosp/2005 SOSP http://doi.acm.org/10.1145/1095810.1095826 db/conf/sosp/sosp2005.html#GoelPFLL05