Skip to content

@comsec-group Computer Security Group @ ETH Zurich

Change the repository type filter

All

    Repositories list

    36 repositories

    • bprc

      Public
      C
      •
      GNU General Public License v3.0
      •3•69•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

    • milesan-docker

      Public
      Docker sources for the artifacts of MileSan
      Scala
      •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • milesan-yosys

      Public
      C++
      •
      ISC License
      •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • milesan-cva6

      Public
      SystemVerilog
      •
      Other
      •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • milesan-pt-boom

      Public
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • milesan-pt-chipyard

      Public
      SystemVerilog
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • milesan-kronos

      Public
      C
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • milesan-chipyard

      Public
      SystemVerilog
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • milesan-openc910

      Public
      Verilog
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 2, 2025Sep 2, 2025

    • milesan-meta

      Public
      Python
      •0•1•0•0•Updated Sep 1, 2025Sep 1, 2025

    • cellift-yosys

      Public
      A fork of Yosys that integrates the CellIFT pass
      C++
      •
      ISC License
      •0•11•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•3•0•0•Updated Jun 25, 2025Jun 25, 2025

    • mucfi

      Public
      Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's operands to the program counter.
      securitydesignhardwareverificationformal
      Verilog
      •
      GNU General Public License v3.0
      •1•14•2•0•Updated Jun 22, 2025Jun 22, 2025

    • zenhammer

      Public
      Artifacts for "ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms" (USENIX Security '24).
      MIT License
      •4•55•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
      •2•5•1•0•Updated May 30, 2025May 30, 2025

    • rubicon

      Public
      GNU General Public License v3.0
      •1•10•0•0•Updated May 12, 2025May 12, 2025

    • posthammer

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

    • encarsia

      Public
      Scala
      •
      GNU General Public License v3.0
      •1•21•0•0•Updated Mar 31, 2025Mar 31, 2025

    • rememberr

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

    • refault

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

    • cellift-meta

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

    • hybridift

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

    • cascade-artifacts

      Public
      Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)
      Scala
      •11•132•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•38•0•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
      •35•233•3•0•Updated Jan 27, 2024Jan 27, 2024

    • retbleed

      Public
      Arbitrary Speculative Code Execution with Return Instructions
      C
      •
      Other
      •17•169•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
      •42•1•0•0•Updated May 30, 2023May 30, 2023