Hardware support for safety interlocks and introspection (2012)

by U Dhawan, A Kwon, E Kadric, C Hrit¸cu, B C Pierce, J M Smith, A DeHon, G Malecha, G Morrisett, T F Knight, A Sutherland, T Hawkins, A Zyxnfryx, D Wittenberg, P Trei, S Ray, G Sullivan
Venue:In SASO Workshop on Adaptive Host and Network Security