@article{DBLP:journals/tcad/PilatoWGKR19,
  author    = {Christian Pilato and
               Kaijie Wu and
               Siddharth Garg and
               Ramesh Karri and
               Francesco Regazzoni},
  title     = {TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking},
  journal   = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume    = {38},
  number    = {5},
  pages     = {798--808},
  year      = {2019},
  url       = {https://doi.org/10.1109/TCAD.2018.2834421},
  doi       = {10.1109/TCAD.2018.2834421},
  timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcad/PilatoWGKR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"AxoveM6ZwehhrGk64","bibbaseid":"pilato-wu-garg-karri-regazzoni-tainthlshighlevelsynthesisfordynamicinformationflowtracking-2019","author_short":["Pilato, C.","Wu, K.","Garg, S.","Karri, R.","Regazzoni, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Pilato"],"suffixes":[]},{"firstnames":["Kaijie"],"propositions":[],"lastnames":["Wu"],"suffixes":[]},{"firstnames":["Siddharth"],"propositions":[],"lastnames":["Garg"],"suffixes":[]},{"firstnames":["Ramesh"],"propositions":[],"lastnames":["Karri"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Regazzoni"],"suffixes":[]}],"title":"TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking","journal":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.","volume":"38","number":"5","pages":"798–808","year":"2019","url":"https://doi.org/10.1109/TCAD.2018.2834421","doi":"10.1109/TCAD.2018.2834421","timestamp":"Thu, 24 Sep 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tcad/PilatoWGKR19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcad/PilatoWGKR19,\n author = {Christian Pilato and\n Kaijie Wu and\n Siddharth Garg and\n Ramesh Karri and\n Francesco Regazzoni},\n title = {TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking},\n journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},\n volume = {38},\n number = {5},\n pages = {798--808},\n year = {2019},\n url = {https://doi.org/10.1109/TCAD.2018.2834421},\n doi = {10.1109/TCAD.2018.2834421},\n timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tcad/PilatoWGKR19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Pilato, C.","Wu, K.","Garg, S.","Karri, R.","Regazzoni, F."],"key":"DBLP:journals/tcad/PilatoWGKR19","id":"DBLP:journals/tcad/PilatoWGKR19","bibbaseid":"pilato-wu-garg-karri-regazzoni-tainthlshighlevelsynthesisfordynamicinformationflowtracking-2019","role":"author","urls":{"Paper":"https://doi.org/10.1109/TCAD.2018.2834421"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/QK7udauu9oYiG86Rs/bib.bib","dataSources":["H8x2obrhjRLyjakpF","ZuojF5jycEf8Xjgko","8gxn7AaKRh7GxNQNx","9LEB4ahCAz8Pkq58E","ZsvDCPRnhBRRCnWQ5"],"keywords":[],"search_terms":["tainthls","high","level","synthesis","dynamic","information","flow","tracking","pilato","wu","garg","karri","regazzoni"],"title":"TaintHLS: High-Level Synthesis for Dynamic Information Flow Tracking","year":2019}