Kenneth G. Olthoff. The high assurance brake job - a cautionary tale in five scenes. In Darrell M. Kienzle, Mary Ellen Zurbo, Steven J. Greenwald, Cristina Serbau, editors, Proceedings of the 1999 Workshop on New Security Paradigms, Caledon Hills, ON, Canada, September 22-24, 1999. pages 118-140, ACM, 1999. [doi]
Abstract is missing.