@InProceedings{interlocks_ahns2012,
  author =	 {
  Udit Dhawan and
  Albert Kwon and
  Edin Kadric and
  C\u{a}t\u{a}lin Hri\c{t}cu and
  Benjamin C. Pierce and
  Jonathan M. Smith and
  Gregory Malecha and
  Greg Morrisett and
  Thomas F. {Knight, Jr.} and
  Andrew Sutherland and
  Tom Hawkins and 
  Amanda Zyxnfryx and
  David Wittenberg and
  Peter Trei and
  Sumit Ray and
  Greg Sullivan and
  Andr\'e DeHon
  },
  title =	 {Hardware Support for Safety Interlocks and Introspection},
  url = {http://www.crash-safe.org/sites/default/files/interlocks_ahns2012.pdf},
  month =	 sep,
  year =	 2012,
  booktitle =	 {SASO Workshop on Adaptive Host and Network Security},
  chcontrib = {minor},
}

{"_id":"FBFMgNBQgMqQrfyqx","bibbaseid":"dhawan-kwon-kadric-hricu-pierce-smith-malecha-morrisett-etal-hardwaresupportforsafetyinterlocksandintrospection-2012","downloads":0,"creationDate":"2019-02-09T20:08:59.720Z","title":"Hardware Support for Safety Interlocks and Introspection","author_short":["Dhawan, U.","Kwon, A.","Kadric, E.","Hriţcu, C.","Pierce, B. C.","Smith, J. M.","Malecha, G.","Morrisett, G.","Knight, Jr., T. F.","Sutherland, A.","Hawkins, T.","Zyxnfryx, A.","Wittenberg, D.","Trei, P.","Ray, S.","Sullivan, G.","DeHon, A."],"year":2012,"bibtype":"inproceedings","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Udit"],"propositions":[],"lastnames":["Dhawan"],"suffixes":[]},{"firstnames":["Albert"],"propositions":[],"lastnames":["Kwon"],"suffixes":[]},{"firstnames":["Edin"],"propositions":[],"lastnames":["Kadric"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Jonathan","M."],"propositions":[],"lastnames":["Smith"],"suffixes":[]},{"firstnames":["Gregory"],"propositions":[],"lastnames":["Malecha"],"suffixes":[]},{"firstnames":["Greg"],"propositions":[],"lastnames":["Morrisett"],"suffixes":[]},{"firstnames":["Thomas","F."],"propositions":[],"lastnames":["Knight, Jr."],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Sutherland"],"suffixes":[]},{"firstnames":["Tom"],"propositions":[],"lastnames":["Hawkins"],"suffixes":[]},{"firstnames":["Amanda"],"propositions":[],"lastnames":["Zyxnfryx"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Wittenberg"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Trei"],"suffixes":[]},{"firstnames":["Sumit"],"propositions":[],"lastnames":["Ray"],"suffixes":[]},{"firstnames":["Greg"],"propositions":[],"lastnames":["Sullivan"],"suffixes":[]},{"firstnames":["André"],"propositions":[],"lastnames":["DeHon"],"suffixes":[]}],"title":"Hardware Support for Safety Interlocks and Introspection","url":"http://www.crash-safe.org/sites/default/files/interlocks_ahns2012.pdf","month":"September","year":"2012","booktitle":"SASO Workshop on Adaptive Host and Network Security","chcontrib":"minor","bibtex":"@InProceedings{interlocks_ahns2012,\n author =\t {\n Udit Dhawan and\n Albert Kwon and\n Edin Kadric and\n C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n Benjamin C. Pierce and\n Jonathan M. Smith and\n Gregory Malecha and\n Greg Morrisett and\n Thomas F. {Knight, Jr.} and\n Andrew Sutherland and\n Tom Hawkins and \n Amanda Zyxnfryx and\n David Wittenberg and\n Peter Trei and\n Sumit Ray and\n Greg Sullivan and\n Andr\\'e DeHon\n },\n title =\t {Hardware Support for Safety Interlocks and Introspection},\n url = {http://www.crash-safe.org/sites/default/files/interlocks_ahns2012.pdf},\n month =\t sep,\n year =\t 2012,\n booktitle =\t {SASO Workshop on Adaptive Host and Network Security},\n chcontrib = {minor},\n}\n\n","author_short":["Dhawan, U.","Kwon, A.","Kadric, E.","Hriţcu, C.","Pierce, B. C.","Smith, J. M.","Malecha, G.","Morrisett, G.","Knight, Jr., T. F.","Sutherland, A.","Hawkins, T.","Zyxnfryx, A.","Wittenberg, D.","Trei, P.","Ray, S.","Sullivan, G.","DeHon, A."],"key":"interlocks_ahns2012","id":"interlocks_ahns2012","bibbaseid":"dhawan-kwon-kadric-hricu-pierce-smith-malecha-morrisett-etal-hardwaresupportforsafetyinterlocksandintrospection-2012","role":"author","urls":{"Paper":"http://www.crash-safe.org/sites/default/files/interlocks_ahns2012.pdf"},"downloads":0,"html":""},"search_terms":["hardware","support","safety","interlocks","introspection","dhawan","kwon","kadric","hriţcu","pierce","smith","malecha","morrisett","knight","sutherland","hawkins","zyxnfryx","wittenberg","trei","ray","sullivan","dehon"],"keywords":[],"authorIDs":[],"dataSources":["hAMnRsgiC28iyFDSa"]}