Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation.

Tingzhen Dong, Qinhan Tan, Kunpeng Wang, Thomas Bourgeat, Yuheng Yang, Sharad Malik, Yu-Wei Fan, Mengjia Yan

Browse the full SP paper archive.