11 skills found
isec-tugraz / TransientfailWebsite and PoC collection for transient execution attacks
vusec / Fpvi ScsbRage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks
RPTU-EIS / Upec Boom Verification SuiteThis repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks based on the Unique Program Execution Checking (UPEC) approach.
cispa / Indirect MeltdownProof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (ESORICS 2023)
joeywang4 / Transient Weird MachineMicroarchitectural weird machine implementation using exceptions, TSX, branch predictors, and branch target buffers.
CTSRD-CHERI / Test Suite Transient ExecutionTest suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assembly
renxida / Iseedeaduops PocProof-of-concept for I See Dead Micro-Ops transient execution attack
RPTU-EIS / SecureBOOMFormally 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)
github-3rr0r / TEApotTEApot(Transient Execution Attack pot) is a project used to evaluate whether your system is affected by Meltdown and Spectre. My goal is to build a easy-to-use(hard to implement) and configurable transient attack test suite.
tojauch / Riscv Boom UPECUPEC is a formal approach for detecting vulnerabilities to transient execution attacks in out-of-order processors
MoeinGhaniyoun / BOOMv3 SpecShieldSpecShield Transient Execution Attack Mitigation Techniques Implemented on BOOM
