Towards Property Driven Hardware Security

Wei Hu, Alric Althoff, Armita Ardeshiricham, Ryan Kastner. Towards Property Driven Hardware Security. In 17th International Workshop on Microprocessor and SOC Test and Verification, MTV 2016, Austin, TX, USA, December 12-13, 2016. pages 51-56, IEEE Computer Society, 2016. [doi]

Authors

Wei Hu

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

Alric Althoff

This author has not been identified. Look up 'Alric Althoff' in Google

Armita Ardeshiricham

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

Ryan Kastner

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