@inproceedings{Vogt10L4ReAnimator,
 author = {Vogt, Dirk and D\"{o}bel, Bj\"{o}rn and Lackorzynski, Adam},
 title = {Stay strong, stay safe: Enhancing Reliability of a Secure Operating System},
 booktitle = {Proceedings of the Workshop on Isolation and Integration for Dependable Systems {(IIDS 2010)}, Paris, France, April 2010},
 year = {2010},
 isbn = {978-1-4503-0120-6},
 location = {Paris, France},
 publisher = {ACM},
 address = {New York, NY, USA},
}