Skip to content
Change the repository type filter

All

    Repositories list

    • HADES

      Public
      Automated Hardware Design Exploration for Cryptographic Primitives
      Scala
      0100Updated Oct 24, 2025Oct 24, 2025
    • Artifact for the ACSAC '25 paper: Revisiting Prime+Prune+Probe: Pitfalls and Remedies
      C++
      0000Updated Oct 14, 2025Oct 14, 2025
    • owl

      Public
      C
      0100Updated Sep 7, 2025Sep 7, 2025
    • KeyVisor

      Public
      Source Code for the CHES'25 Paper KeyVisor
      Verilog
      0000Updated Aug 10, 2025Aug 10, 2025
    • C
      0000Updated Jul 29, 2025Jul 29, 2025
    • VERICA

      Public
      Verilog
      51721Updated Jul 17, 2025Jul 17, 2025
    • INDIANA

      Public
      Verilog
      2100Updated Jun 6, 2025Jun 6, 2025
    • SILVER

      Public
      SILVER - Statistical Independence and Leakage Verification
      C
      81420Updated Jun 6, 2025Jun 6, 2025
    • fhewsyn

      Public
      Verilog
      0200Updated Jul 22, 2024Jul 22, 2024
    • AGEMA

      Public
      Automated Generation of Masked Hardware
      Verilog
      31830Updated May 7, 2024May 7, 2024
    • BIKE

      Public
      Contains HDL code for the PQC Key Encapsulation Mechanism BIKE
      VHDL
      31903Updated May 5, 2024May 5, 2024
    • C
      0700Updated Apr 11, 2024Apr 11, 2024
    • Implementations for CTI evaluation
      Verilog
      0100Updated Feb 28, 2024Feb 28, 2024
    • C
      0200Updated Jan 31, 2024Jan 31, 2024
    • DL-LA

      Public
      DL-LA: Deep Learning Leakage Assessment. Source Code and Traces.
      Python
      61600Updated Nov 9, 2023Nov 9, 2023
    • 0000Updated Aug 28, 2023Aug 28, 2023
    • EASIMask

      Public
      VHDL
      0100Updated Jun 26, 2023Jun 26, 2023
    • Masked software implementations of fixed-weight polynomial sampling algorithms.
      C
      0010Updated Mar 8, 2023Mar 8, 2023
    • Verilog
      2720Updated Feb 3, 2023Feb 3, 2023
    • Code for the paper "Agile Acceleration of Stateful Hash-Based Signatures in Hardware"
      VHDL
      0400Updated Nov 7, 2022Nov 7, 2022
    • SAIREDA

      Public
      Security-Aware Intermediate Representation and Electronic Design Automation
      C++
      3200Updated Oct 27, 2022Oct 27, 2022
    • SCARF

      Public
      Reference Code for the SCARF Cache Cipher
      C
      1100Updated Oct 12, 2022Oct 12, 2022
    • TLBCoat

      Public
      Source code for the paper "Risky Translations: Securing TLBs against Timing Side Channels"
      C++
      0010Updated Oct 4, 2022Oct 4, 2022
    • VHDL
      0200Updated Sep 30, 2022Sep 30, 2022
    • PoC Code from the Paper "Write Me and I'll Tell You Secrets - Write-After-Write Effects On Intel CPUs"
      C
      1400Updated Jun 28, 2022Jun 28, 2022
    • COMAR

      Public
      Composable Gadgets with Reused Fresh Masks
      0000Updated Jun 25, 2022Jun 25, 2022
    • Proof-of-possession for KEM certificates using verifiable generation
      C
      2900Updated Jun 2, 2022Jun 2, 2022
    • XMSS-VHDL

      Public
      Configurable Hardware Implementation of XMSS
      VHDL
      0300Updated May 23, 2022May 23, 2022
    • HPC3

      Public
      Verilog
      0200Updated May 13, 2022May 13, 2022
    • SystemVerilog
      21100Updated Jan 13, 2022Jan 13, 2022