Armaiti Ardeshiricham Wei Hu 0008 Joshua Marxen Ryan Kastner Register transfer level information flow tracking for provably secure hardware design. 1691-1696 2017 DATE https://doi.org/10.23919/DATE.2017.7927266 http://dl.acm.org/citation.cfm?id=3130775 conf/date/2017 db/conf/date/date2017.html#ArdeshirichamHM17