Skip to content

@comsec-group Computer Security Group @ ETH Zurich

All

    Repositories list

    38 repositories

    • blacksmith

      Public
      Next-gen Rowhammer fuzzer that uses non-uniform, frequency-based patterns (IEEE S&P '22).
      C++
      •
      MIT License
      •40•263•3•0•Updated Sep 15, 2026Sep 15, 2026

    • cellift-yosys

      Public
      A fork of Yosys that integrates the CellIFT pass
      C++
      •
      ISC License
      •0•14•0•0•Updated Sep 12, 2026Sep 12, 2026

    • VeriPRAC

      Public
      Artifacts for VeriPRAC (CCS'26)
      C++
      •0•5•0•0•Updated Aug 5, 2026Aug 5, 2026

    • riscv-vector-crypto-invariants

      Public
      Artifacts for paper "Leveraging Invariants for Scalable Verification of RISC-V Cryptography Extensions"
      C++
      •0•2•0•0•Updated Jul 29, 2026Jul 29, 2026

    • turboturtle

      Public
      Artifacts for paper "It’s About Time: Detecting Timing Side-Channel Vulnerabilities in High-Level Synthesis Designs"
      C++
      •
      GNU General Public License v3.0
      •0•4•0•0•Updated Jul 23, 2026Jul 23, 2026

    • verifi

      Public
      Artifacts for the paper "VerIFI: Formal Verification of Microarchitectural Information-Flow Integrity"
      Verilog
      •
      GNU General Public License v3.0
      •0•6•0•0•Updated Jul 23, 2026Jul 23, 2026

    • mucfi

      Public
      Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's operands to the program cou…
      securitydesignhardware
      securitydesignhardwareverificationformal
      Verilog
      •
      GNU General Public License v3.0
      •2•16•2•0•Updated Jul 2, 2026Jul 2, 2026

    • milesan-docker

      Public
      Docker sources for the artifacts of MileSan
      Scala
      •0•10•0•0•Updated Jun 23, 2026Jun 23, 2026

    • cellift-ibex

      Public
      The Ibex design frozen and instrumented for the CellIFT paper experiments
      SystemVerilog
      •
      Apache License 2.0
      •1•0•0•0•Updated May 31, 2026May 31, 2026

    • hartbreaker

      Public
      HARTBREAKER: Deterministic Fuzzing of Multi-Hart RISC-V CPUs with Non-Deterministic Programs
      SystemVerilog
      •
      Other
      •2•10•0•0•Updated May 29, 2026May 29, 2026

    • glasswall

      Public
      Artifacts for the DIMVA2026 accepted paper
      C
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated May 26, 2026May 26, 2026

    • phoenix

      Public
      Artifacts for "Phoenix: Rowhammer Attacks on DDR5 with Self-Correcting Synchronization" (IEEE S&P '26)
      dramhardware-securitysecurity-research
      dramhardware-securitysecurity-researchtrrrowhammerddr5
      Python
      •
      GNU General Public License v3.0
      •11•75•1•1•Updated May 14, 2026May 14, 2026

    • vmscape

      Public
      Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"
      C
      •
      GNU General Public License v3.0
      •2•44•1•0•Updated May 5, 2026May 5, 2026

    • pathfinder

      Public
      Pathfinder: Constructing Cycle-accurate Taint Graphs for Analyzing Information Flow Traces
      SystemVerilog
      •
      ISC License
      •2•9•0•0•Updated Sep 29, 2025Sep 29, 2025

    • bprc

      Public
      C
      •
      GNU General Public License v3.0
      •5•79•1•0•Updated Sep 3, 2025Sep 3, 2025

    • charm

      Public
      Artifacts for CHaRM (CCS '25)
      C++
      •0•2•0•0•Updated Sep 2, 2025Sep 2, 2025

    • stackengine

      Public
      Artifacts for the stackengine paper
      C++
      •0•5•0•0•Updated Aug 11, 2025Aug 11, 2025

    • mcsee

      Public
      Artifacts for "McSee: Evaluating Advanced Rowhammer Attacks and Defenses via Automated DRAM Traffic Analysis" (USENIX Sec '25)
      GNU General Public License v3.0
      •0•6•0•0•Updated Jun 25, 2025Jun 25, 2025

    • zenhammer

      Public
      Artifacts for "ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms" (USENIX Security '24).
      MIT License
      •8•65•0•0•Updated Jun 19, 2025Jun 19, 2025

    • mirtl

      Public
      Experimental implementation for paper for Lost in Translation: Enabling Confused Deputy Attacks on EDA Software with TransFuzz (USENIX Sec'25)
      Python
      •
      Other
      •5•9•1•0•Updated May 30, 2025May 30, 2025

    • rubicon

      Public
      GNU General Public License v3.0
      •3•20•0•0•Updated May 12, 2025May 12, 2025

    • posthammer

      Public
      TypeScript
      •
      GNU General Public License v3.0
      •1•12•0•0•Updated Apr 3, 2025Apr 3, 2025

    • encarsia

      Public
      Scala
      •
      GNU General Public License v3.0
      •4•36•0•0•Updated Mar 31, 2025Mar 31, 2025

    • rememberr

      Public
      Python
      •
      Other
      •1•13•0•0•Updated Mar 7, 2025Mar 7, 2025

    • refault

      Public
      REFault: A Fault Injection Platform for Rowhammer Research on DDR5 Memory
      MIT License
      •0•11•0•0•Updated Mar 3, 2025Mar 3, 2025

    • cellift-meta

      Public
      All the tools you need to reproduce the CellIFT paper experiments
      C
      •
      Other
      •5•23•0•0•Updated Feb 11, 2025Feb 11, 2025

    • hybridift

      Public
      HybriDIFT: Scalable Memory-Aware Dynamic Information Flow Tracking for Hardware
      Verilog
      •1•9•0•0•Updated Nov 27, 2024Nov 27, 2024

    • cascade-artifacts

      Public
      Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)
      Scala
      •13•144•0•0•Updated Aug 30, 2024Aug 30, 2024

    • cellift-cva6

      Public
      The CVA6 design frozen and instrumented for the CellIFT paper experiments
      SystemVerilog
      •
      Other
      •0•5•0•0•Updated Jul 2, 2024Jul 2, 2024

    • HiFi-DRAM

      Public
      This repository provides supplementary material for our paper HiFi-DRAM: Enabling High-fidelity DRAM Research by Uncovering Sense Amplifiers with IC Imaging
      GNU General Public License v3.0
      •2•24•1•0•Updated May 8, 2024May 8, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.