Skip to content

@comsec-group Computer Security Group @ ETH Zurich

Change the repository type filter

All

    Repositories list

    32 repositories

    • 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…
      securitydesignhardwareverificationformal
      Verilog
      •
      GNU General Public License v3.0
      •2•16•2•0•Updated Feb 12, 2026Feb 12, 2026

    • milesan-docker

      Public
      Docker sources for the artifacts of MileSan
      Scala
      •0•7•0•0•Updated Oct 26, 2025Oct 26, 2025

    • vmscape

      Public
      Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"
      C
      •
      GNU General Public License v3.0
      •2•36•1•0•Updated Oct 17, 2025Oct 17, 2025

    • pathfinder

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

    • phoenix

      Public
      Artifacts for "Phoenix: Rowhammer Attacks on DDR5 with Self-Correcting Synchronization" (IEEE S&P '26)
      dramhardware-securitysecurity-researchtrrrowhammerddr5
      Python
      •
      GNU General Public License v3.0
      •9•59•3•0•Updated Sep 17, 2025Sep 17, 2025

    • bprc

      Public
      C
      •
      GNU General Public License v3.0
      •5•75•0•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•4•0•0•Updated Aug 11, 2025Aug 11, 2025

    • cellift-yosys

      Public
      A fork of Yosys that integrates the CellIFT pass
      C++
      •
      ISC License
      •0•13•0•0•Updated Jul 23, 2025Jul 23, 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•5•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
      •6•59•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•14•0•0•Updated May 12, 2025May 12, 2025

    • posthammer

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

    • encarsia

      Public
      Scala
      •
      GNU General Public License v3.0
      •2•27•0•0•Updated Mar 31, 2025Mar 31, 2025

    • rememberr

      Public
      Python
      •
      Other
      •0•12•0•0•Updated Mar 7, 2025Mar 7, 2025

    • refault

      Public
      REFault: A Fault Injection Platform for Rowhammer Research on DDR5 Memory
      MIT License
      •0•8•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•139•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•20•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

    • blacksmith

      Public
      Next-gen Rowhammer fuzzer that uses non-uniform, frequency-based patterns (IEEE S&P '22).
      C++
      •
      MIT License
      •37•246•3•0•Updated Jan 27, 2024Jan 27, 2024

    • retbleed

      Public
      Arbitrary Speculative Code Execution with Return Instructions
      C
      •
      Other
      •19•175•0•0•Updated Jan 23, 2024Jan 23, 2024

    • hammertime

      Public
      A fork of hammertime, extended for use with Blacksmith.
      Python
      •
      GNU General Public License v2.0
      •41•1•0•0•Updated May 30, 2023May 30, 2023

    • REM

      Public
      REGA Model (REM), an accurate DRAM model.
      modeldramrowhammer
      AGS Script
      •
      Other
      •0•10•0•0•Updated Jan 9, 2023Jan 9, 2023

    • cellift-ibex

      Public
      The Ibex design frozen and instrumented for the CellIFT paper experiments
      SystemVerilog
      •
      Apache License 2.0
      •1•0•0•0•Updated Dec 11, 2022Dec 11, 2022

    • cellift-pulpissimo-hdac-2018

      Public
      The PULPissimo design used in Hack@DAC2018, frozen and instrumented for the CellIFT paper experiments
      SystemVerilog
      •
      Other
      •0•0•0•0•Updated Nov 25, 2022Nov 25, 2022

    • cellift-artifacts

      Public
      Artifacts for the USENIX Security artifact evaluation
      C++
      •0•1•0•0•Updated Jul 28, 2022Jul 28, 2022