Skip to content

@CSAIL-Arch-Sec CSAIL-Arch-Sec

Change the repository type filter

All

    Repositories list

    20 repositories

    • Oreo

      Public
      MIT License
      •0•1•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-StarterCode

      Public template
      Student Starter Code for Secure Hardware Design at MIT
      Shell
      •
      Other
      •16•34•0•0•Updated Jun 5, 2024Jun 5, 2024

    • SHD-FormalVerificationLab

      Public template
      SystemVerilog
      •0•0•0•0•Updated Jun 5, 2024Jun 5, 2024

    • SHD-FuzzLab

      Public template
      C
      •0•2•0•0•Updated Jun 5, 2024Jun 5, 2024

    • SHD-ASLRLab

      Public template
      C
      •
      Other
      •0•0•0•0•Updated Jun 5, 2024Jun 5, 2024

    • SHD-RowhammerLab

      Public template
      C++
      •
      Other
      •1•0•0•0•Updated Jun 5, 2024Jun 5, 2024

    • SHD-SpectreLab

      Public template
      C
      •
      Other
      •0•0•0•0•Updated Jun 5, 2024Jun 5, 2024

    • SHD-CacheAttackLab

      Public template
      C
      •
      Other
      •4•0•0•0•Updated Jun 5, 2024Jun 5, 2024

    • SHD-WebsiteFingerprintingLab

      Public template
      HTML
      •
      Other
      •1•3•0•0•Updated Jun 5, 2024Jun 5, 2024

    • SHD-FormalVerificationRec

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

    • SHD-RISCVRec

      Public
      Assembly
      •1•1•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
      •3•21•0•0•Updated Jan 17, 2024Jan 17, 2024

    • Metior

      Public
      Python
      •0•4•0•0•Updated Jun 16, 2023Jun 16, 2023

    • DAGguise

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •4•8•0•1•Updated Dec 9, 2022Dec 9, 2022

    • dont-mesh-around

      Public
      Artifacts for the paper "Don't Mesh Around: Side-Channel Attacks and Mitigations on Mesh Interconnects"
      C
      •
      MIT License
      •2•7•0•0•Updated Aug 17, 2022Aug 17, 2022

    • DAGguise-verification

      Public
      Formal verification of the security property for "DAGguise (ASPLOS'22)"
      Racket
      •
      MIT License
      •1•1•0•0•Updated Dec 2, 2021Dec 2, 2021

    • DAGguise-DRAMSim2

      Public
      C++
      •1•0•0•0•Updated Nov 30, 2021Nov 30, 2021