Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown and Spectre)
security
hardware
spectre
hardware-security
design-methods
meltdown
formal-verification-for-designers
-
Updated
Sep 5, 2023 - Verilog