Computer Security Group @ ETH Zurich

Artifacts for VeriPRAC (CCS'26)

Artifacts for paper "Leveraging Invariants for Scalable Verification of RISC-V Cryptography Extensions"

Artifacts for paper "It’s About Time: Detecting Timing Side-Channel Vulnerabilities in High-Level Synthesis Designs"

Artifacts for the paper "VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity"

Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's operands to the program counter.

Docker sources for the artifacts of MileSan

The Ibex design frozen and instrumented for the CellIFT paper experiments

HARTBREAKER: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs

Artifacts for the DIMVA2026 accepted paper

Artifacts for "Phoenix: Rowhammer Attacks on DDR5 with Self-Correcting Synchronization" (IEEE S&P '26)