CSAIL-Arch-Sec

CSAIL-Arch-Sec's repositories

Student Starter Code for Secure Hardware Design at MIT

Language:ShellNOASSERTION25 50

This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.

Language:RacketMIT16 40

Language:C++BSD-3-Clause8 3 1

Artifacts for the paper "Don't Mesh Around: Side-Channel Attacks and Mitigations on Mesh Interconnects"

Language:CMIT600

Language:Python400

Language:HTMLNOASSERTION3 20

Formal verification of the security property for "DAGguise (ASPLOS'22)"

Language:RacketMIT1 20

Language:C100

Language:C++030

Language:CNOASSERTION000

Language:C++NOASSERTION000

Language:CNOASSERTION000

Language:CNOASSERTION020

Language:SystemVerilog000

Language:Racket000

Language:Assembly000