@misc{pump_ccs2014,
  author = {C\u{a}t\u{a}lin Hri\c{t}cu and
          Udit Dhawan and
          Nikos Vasilakis and
          Silviu Chiricescu and
          Jonathan M. Smith and
          Benjamin C. Pierce and
          Andr\'{e} DeHon},
  title = {Programming the {PUMP}: Hardware-Assisted Micro-Policies for Security},
  howpublished = {Submitted},
  year = {2014},
  month = may,
}

{"_id":"ss8GMpi6bGjeR2cah","bibbaseid":"hricu-dhawan-vasilakis-chiricescu-smith-pierce-dehon-programmingthepumphardwareassistedmicropoliciesforsecurity-2014","downloads":0,"creationDate":"2019-02-09T20:08:59.740Z","title":"Programming the PUMP: Hardware-Assisted Micro-Policies for Security","author_short":["Hriţcu, C.","Dhawan, U.","Vasilakis, N.","Chiricescu, S.","Smith, J. M.","Pierce, B. C.","DeHon, A."],"year":2014,"bibtype":"misc","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["Udit"],"propositions":[],"lastnames":["Dhawan"],"suffixes":[]},{"firstnames":["Nikos"],"propositions":[],"lastnames":["Vasilakis"],"suffixes":[]},{"firstnames":["Silviu"],"propositions":[],"lastnames":["Chiricescu"],"suffixes":[]},{"firstnames":["Jonathan","M."],"propositions":[],"lastnames":["Smith"],"suffixes":[]},{"firstnames":["Benjamin","C."],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["André"],"propositions":[],"lastnames":["DeHon"],"suffixes":[]}],"title":"Programming the PUMP: Hardware-Assisted Micro-Policies for Security","howpublished":"Submitted","year":"2014","month":"May","bibtex":"@misc{pump_ccs2014,\n author = {C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n Udit Dhawan and\n Nikos Vasilakis and\n Silviu Chiricescu and\n Jonathan M. Smith and\n Benjamin C. Pierce and\n Andr\\'{e} DeHon},\n title = {Programming the {PUMP}: Hardware-Assisted Micro-Policies for Security},\n howpublished = {Submitted},\n year = {2014},\n month = may,\n}\n","author_short":["Hriţcu, C.","Dhawan, U.","Vasilakis, N.","Chiricescu, S.","Smith, J. M.","Pierce, B. C.","DeHon, A."],"key":"pump_ccs2014","id":"pump_ccs2014","bibbaseid":"hricu-dhawan-vasilakis-chiricescu-smith-pierce-dehon-programmingthepumphardwareassistedmicropoliciesforsecurity-2014","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["programming","pump","hardware","assisted","micro","policies","security","hriţcu","dhawan","vasilakis","chiricescu","smith","pierce","dehon"],"keywords":[],"authorIDs":["5c5f335b4510a11000000192"],"dataSources":["hAMnRsgiC28iyFDSa"]}