@conference {208807, author = {Christoph Kern}, title = {Preventing Security Bugs through Software Design}, year = {2015}, address = {Washington, D.C.}, publisher = {USENIX Association}, month = aug }