facebookresearch / AutoCAT
AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks
☆43Updated last year
Related projects ⓘ
Alternatives and complementary repositories for AutoCAT
- ☆78Updated last year
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆20Updated 2 years ago
- ☆9Updated 2 years ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆58Updated 4 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆16Updated last year
- CleanupSpec (MICRO-2019)☆17Updated 4 years ago
- ☆15Updated 9 months ago
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆19Updated 3 years ago
- ☆12Updated 3 years ago
- ☆10Updated 9 months ago
- ☆19Updated last year
- DRAM Bender is the first open source DRAM testing infrastructure that can be used to easily and comprehensively test state-of-the-art HBM…☆58Updated 2 months ago
- ☆18Updated 2 years ago
- A behavioural cache model for analysing the cache behaviour under side-channel attack.☆22Updated 2 months ago
- The artifact for SecSMT paper -- Usenix Security 2022☆25Updated 2 years ago
- ☆34Updated 3 years ago
- BEER determines an ECC code's parity-check matrix based on the uncorrectable errors it can cause. BEER targets Hamming codes that are use…☆18Updated 4 years ago
- ☆16Updated 2 years ago
- MIRAGE (USENIX Security 2021)☆11Updated last year
- New Cache implementation using Gem5☆13Updated 10 years ago
- ☆29Updated 2 years ago
- ☆9Updated 9 years ago
- HW interface for memory caches☆26Updated 4 years ago
- Source code of the U-TRR methodology presented in "Uncovering In-DRAM RowHammer Protection Mechanisms: A New Methodology, Custom RowHamme…☆13Updated 2 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆14Updated 3 weeks ago
- ☆17Updated 2 years ago
- Data-centric defense mechanism against Spectre attacks. (DAC'19)☆11Updated 5 years ago
- Memory consistency model checking and test generation library.☆13Updated 8 years ago
- Security Test Benchmark for Computer Architectures☆20Updated this week
- A port of the RIPE suite to RISC-V.☆28Updated 6 years ago