Pinned Repositories
DAGguise
DAGguise-verification
Formal verification of the security property for "DAGguise (ASPLOS'22)"
dont-mesh-around
Artifacts for the paper "Don't Mesh Around: Side-Channel Attacks and Mitigations on Mesh Interconnects"
Metior
Oreo
Pensieve
This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.
SHD-FuzzLab
SHD-RISCVRec
SHD-StarterCode
Student Starter Code for Secure Hardware Design at MIT
SHD-WebsiteFingerprintingLab
MATCHA @MIT's Repositories
MATCHA-MIT/SHD-StarterCode
Student Starter Code for Secure Hardware Design at MIT
MATCHA-MIT/Pensieve
This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.
MATCHA-MIT/DAGguise
MATCHA-MIT/dont-mesh-around
Artifacts for the paper "Don't Mesh Around: Side-Channel Attacks and Mitigations on Mesh Interconnects"
MATCHA-MIT/Metior
MATCHA-MIT/SHD-WebsiteFingerprintingLab
MATCHA-MIT/Oreo
MATCHA-MIT/SHD-FuzzLab
MATCHA-MIT/DAGguise-verification
Formal verification of the security property for "DAGguise (ASPLOS'22)"
MATCHA-MIT/SHD-RISCVRec
MATCHA-MIT/DAGguise-DRAMSim2
MATCHA-MIT/matcha-mit.github.io
MATCHA-MIT/Oreo-experiments
MATCHA-MIT/Oreo-gem5
MATCHA-MIT/Oreo-linux
MATCHA-MIT/SHD-ASLRLab
MATCHA-MIT/SHD-CacheAttackLab
MATCHA-MIT/SHD-CCrashCourseLab
MATCHA-MIT/SHD-FormalVerificationLab
MATCHA-MIT/SHD-FormalVerificationRec
MATCHA-MIT/SHD-RowhammerLab
MATCHA-MIT/SHD-SpectreLab
MATCHA-MIT/test-classroom