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]
Abstract is missing.