Skip to content

@comsec-group Computer Security Group @ ETH Zurich

Change the repository type filter

All

    Repositories list

    38 repositories

    • VeriPRAC

      Public
      Artifacts for VeriPRAC (CCS'26)
      C++
      •0•3•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
      •1•9•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
      •9•75•4•0•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•42•1•0•Updated May 5, 2026May 5, 2026

    • cellift-yosys

      Public
      A fork of Yosys that integrates the CellIFT pass
      C++
      •
      ISC License
      •0•14•1•0•Updated Apr 21, 2026Apr 21, 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•80•1•0•Updated Sep 3, 2025Sep 3, 2025

    • charm

      Public
      Artifacts for CHaRM (CCS '25)
      C++
      •0•1•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
      •7•64•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•8•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•35•0•0•Updated Mar 31, 2025Mar 31, 2025

    • rememberr

      Public
      Python
      •
      Other
      •0•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•24•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
      •12•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•21•1•0•Updated May 8, 2024May 8, 2024

    • inception

      Public
      Training in Transient Execution and PhantomCALL, from Inception (SEC'23) Artifacts.
      C
      •5•41•1•1•Updated Feb 19, 2024Feb 19, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.