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]

Authors

Armaiti Ardeshiricham

This author has not been identified. Look up 'Armaiti Ardeshiricham' in Google

Wei Hu

This author has not been identified. Look up 'Wei Hu' in Google

Joshua Marxen

This author has not been identified. Look up 'Joshua Marxen' in Google

Ryan Kastner

This author has not been identified. Look up 'Ryan Kastner' in Google