Register transfer level information flow tracking for provably secure hardware design

Armaiti Ardeshiricham, Wei Hu, Joshua Marxen, Ryan Kastner. Register transfer level information flow tracking for provably secure hardware design. In David Atienza, Giorgio Di Natale, editors, Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017. pages 1691-1696, IEEE, 2017. [doi]

@inproceedings{ArdeshirichamHM17,
  title = {Register transfer level information flow tracking for provably secure hardware design},
  author = {Armaiti Ardeshiricham and Wei Hu and Joshua Marxen and Ryan Kastner},
  year = {2017},
  doi = {10.23919/DATE.2017.7927266},
  url = {https://doi.org/10.23919/DATE.2017.7927266},
  researchr = {https://researchr.org/publication/ArdeshirichamHM17},
  cites = {0},
  citedby = {0},
  pages = {1691-1696},
  booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017},
  editor = {David Atienza and Giorgio Di Natale},
  publisher = {IEEE},
  isbn = {978-3-9815370-8-6},
}