Bourgeat, Thomas

1. RTL Verification for Secure Speculation Using Contract Shadow Logic
   2024/07/17 by Tan, Qinhan, Yang, Yuheng, Bourgeat, Thomas +2 · 5 citations
   #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
2. Parendi: Thousand-Way Parallel RTL Simulation
   2024/03/07 by Mahyar Emami, Emami, Mahyar, Thomas Bourgeat +3 · 3 citations
   Decision Sciences · #Distributed #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Parallel #Simulation Techniques and Applications #and Cluster Computing (cs.DC)
3. MI6: Secure Enclaves in a Speculative Out-of-Order Processor
   2018/12/24 by Thomas Bourgeat, Bourgeat, Thomas, Lebedev, Ilia +8 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Operating Systems (cs.OS) #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing