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]
No references recorded for this publication.
No citations of this publication recorded.