Skip to content

@MATCHA-MIT MATCHA @MIT

Change the repository type filter

All

    Repositories list

    35 repositories

    • Compass

      Public
      Scala
      •0•12•0•0•Updated May 7, 2026May 7, 2026

    • rIC3

      Public
      Rust
      •
      GNU General Public License v3.0
      •0•0•0•4•Updated Apr 29, 2026Apr 29, 2026

    • insight

      Public
      SystemVerilog
      •0•2•0•0•Updated Apr 23, 2026Apr 23, 2026

    • shuffle

      Public
      SystemVerilog
      •
      MIT License
      •0•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • shd-formal-recitation

      Public
      Python
      •0•0•0•0•Updated Apr 6, 2026Apr 6, 2026

    • SHD-FormalVerificationLab

      Public template
      SystemVerilog
      •0•2•0•0•Updated Apr 6, 2026Apr 6, 2026

    • SHD-StarterCode

      Public template
      Student Starter Code for Secure Hardware Design at MIT
      Shell
      •
      Other
      •23•97•0•0•Updated Mar 1, 2026Mar 1, 2026

    • SHD-ASLRLab

      Public template
      C
      •
      Other
      •2•2•0•1•Updated Mar 1, 2026Mar 1, 2026

    • Compass-circt

      Public
      Circuit IR Compilers and Tools
      C++
      •
      Other
      •475•0•0•0•Updated Feb 22, 2026Feb 22, 2026

    • SHD-RowhammerLab

      Public template
      C++
      •
      Other
      •1•2•0•0•Updated Feb 17, 2026Feb 17, 2026

    • register-hiding-and-shadowcfi

      Public
      This is the repository containing the patches and gadget analyzer for "Defeating Transient Execution Attacks by Limiting Secret Reachability through Register Hi…
      0•3•0•0•Updated Feb 10, 2026Feb 10, 2026

    • SHD-CacheAttackLab

      Public template
      C
      •
      Other
      •5•3•0•0•Updated Jan 30, 2026Jan 30, 2026

    • SHD-CCrashCourseLab

      Public template
      C
      •
      MIT License
      •0•0•0•0•Updated Jan 25, 2026Jan 25, 2026

    • secsep

      Public
      Dockerfile
      •0•4•0•0•Updated Oct 15, 2025Oct 15, 2025

    • secsep-scale

      Public
      OCaml
      •0•0•0•0•Updated Oct 15, 2025Oct 15, 2025

    • secsep-gem5

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Oct 15, 2025Oct 15, 2025

    • secsep-benchmark

      Public
      Assembly
      •0•0•0•0•Updated Oct 15, 2025Oct 15, 2025

    • secsep-octal

      Public
      OCaml
      •0•0•0•0•Updated Oct 15, 2025Oct 15, 2025

    • SHD-FuzzLab

      Public template
      C
      •1•4•0•1•Updated Feb 28, 2025Feb 28, 2025

    • SHD-SpectreLab

      Public template
      C
      •
      Other
      •1•2•0•0•Updated Feb 6, 2025Feb 6, 2025

    • test-classroom

      Public template
      0•0•0•0•Updated Feb 2, 2025Feb 2, 2025

    • matcha-mit.github.io

      Public
      HTML
      •0•0•0•0•Updated Feb 1, 2025Feb 1, 2025

    • SHD-WebsiteFingerprintingLab

      Public template
      HTML
      •
      Other
      •3•5•0•1•Updated Feb 1, 2025Feb 1, 2025

    • Oreo

      Public
      MIT License
      •0•3•0•0•Updated Nov 30, 2024Nov 30, 2024

    • Oreo-gem5

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Nov 30, 2024Nov 30, 2024

    • Oreo-experiments

      Public
      C
      •
      MIT License
      •0•0•0•0•Updated Nov 29, 2024Nov 29, 2024

    • Oreo-linux

      Public
      C
      •
      Other
      •0•0•0•0•Updated Nov 29, 2024Nov 29, 2024

    • SHD-FormalVerificationRec

      Public
      Racket
      •1•0•0•0•Updated Apr 23, 2024Apr 23, 2024

    • SHD-RISCVRec

      Public
      Assembly
      •2•2•0•0•Updated Apr 22, 2024Apr 22, 2024

    • Pensieve

      Public
      This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.
      Racket
      •
      MIT License
      •5•26•0•0•Updated Jan 17, 2024Jan 17, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.