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]

Abstract

Abstract is missing.