Chris Bradfield, Cynthia Sturton. Model checking to find vulnerabilities in an instruction set architecture. In William H. Robinson, Swarup Bhunia, Ryan Kastner, editors, 2016 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2016, McLean, VA, USA, May 3-5, 2016. pages 109-113, IEEE Computer Society, 2016. [doi]
Abstract is missing.