Skip to content

@Chair-for-Security-Engineering Chair for Security Engineering

Change the repository type filter

All

    Repositories list

    40 repositories

    • HADES

      Public
      Automated Hardware Design Exploration for Cryptographic Primitives
      Scala
      •
      Other
      •0•2•0•0•Updated Oct 24, 2025Oct 24, 2025

    • Revisiting-Prime-Prune-Probe

      Public
      Artifact for the ACSAC '25 paper: Revisiting Prime+Prune+Probe: Pitfalls and Remedies
      C++
      •
      Apache License 2.0
      •0•1•0•0•Updated Oct 14, 2025Oct 14, 2025

    • owl

      Public
      C
      •
      Other
      •0•1•0•0•Updated Sep 7, 2025Sep 7, 2025

    • KeyVisor

      Public
      Source Code for the CHES'25 Paper KeyVisor
      Verilog
      •
      Other
      •0•1•0•0•Updated Aug 10, 2025Aug 10, 2025

    • agile-maskingise-pqc

      Public
      C
      •
      Other
      •0•0•0•0•Updated Jul 29, 2025Jul 29, 2025

    • VERICA

      Public
      Verilog
      •
      Other
      •7•19•2•1•Updated Jul 17, 2025Jul 17, 2025

    • INDIANA

      Public
      Verilog
      •
      Other
      •2•1•0•0•Updated Jun 6, 2025Jun 6, 2025

    • SILVER

      Public
      SILVER - Statistical Independence and Leakage Verification
      C
      •
      Other
      •9•16•2•0•Updated Jun 6, 2025Jun 6, 2025

    • fhewsyn

      Public
      Verilog
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•0•0•Updated Jul 22, 2024Jul 22, 2024

    • AGEMA

      Public
      Automated Generation of Masked Hardware
      Verilog
      •
      Other
      •5•21•3•0•Updated May 7, 2024May 7, 2024

    • BIKE

      Public
      Contains HDL code for the PQC Key Encapsulation Mechanism BIKE
      VHDL
      •
      Other
      •4•23•0•3•Updated May 5, 2024May 5, 2024

    • lattice-anonymous-credentials

      Public
      C
      •
      GNU General Public License v3.0
      •2•10•0•0•Updated Apr 11, 2024Apr 11, 2024

    • Combined-Threshold-Implementation

      Public
      Implementations for CTI evaluation
      Verilog
      •
      Other
      •0•1•0•0•Updated Feb 28, 2024Feb 28, 2024

    • dilithium-faults

      Public
      C
      •
      Other
      •0•2•0•1•Updated Jan 31, 2024Jan 31, 2024

    • DL-LA

      Public
      DL-LA: Deep Learning Leakage Assessment. Source Code and Traces.
      Python
      •
      GNU General Public License v3.0
      •6•17•0•0•Updated Nov 9, 2023Nov 9, 2023

    • pqc-masking-ise

      Public
      0•0•0•0•Updated Aug 28, 2023Aug 28, 2023

    • EASIMask

      Public
      VHDL
      •
      Other
      •0•1•0•0•Updated Jun 26, 2023Jun 26, 2023

    • maskedFWPS

      Public
      Masked software implementations of fixed-weight polynomial sampling algorithms.
      C
      •
      GNU General Public License v3.0
      •0•0•1•0•Updated Mar 8, 2023Mar 8, 2023

    • LWC-Masking

      Public
      Verilog
      •
      Other
      •2•7•2•0•Updated Feb 3, 2023Feb 3, 2023

    • XMSS-LMS-HW-Agile

      Public
      Code for the paper "Agile Acceleration of Stateful Hash-Based Signatures in Hardware"
      VHDL
      •
      Other
      •0•4•0•0•Updated Nov 7, 2022Nov 7, 2022

    • SAIREDA

      Public
      Security-Aware Intermediate Representation and Electronic Design Automation
      C++
      •
      Other
      •3•2•0•0•Updated Oct 27, 2022Oct 27, 2022

    • SCARF

      Public
      Reference Code for the SCARF Cache Cipher
      C
      •1•2•0•0•Updated Oct 12, 2022Oct 12, 2022

    • TLBCoat

      Public
      Source code for the paper "Risky Translations: Securing TLBs against Timing Side Channels"
      C++
      •0•1•1•0•Updated Oct 4, 2022Oct 4, 2022

    • Low_Random_Masking

      Public
      VHDL
      •
      Other
      •0•2•0•0•Updated Sep 30, 2022Sep 30, 2022

    • Write-Write

      Public
      PoC Code from the Paper "Write Me and I'll Tell You Secrets - Write-After-Write Effects On Intel CPUs"
      C
      •1•4•0•0•Updated Jun 28, 2022Jun 28, 2022

    • COMAR

      Public
      Composable Gadgets with Reused Fresh Masks
      0•0•0•0•Updated Jun 25, 2022Jun 25, 2022

    • KEM-NIZKPoP

      Public
      Proof-of-possession for KEM certificates using verifiable generation
      C
      •
      MIT License
      •2•9•0•0•Updated Jun 2, 2022Jun 2, 2022

    • XMSS-VHDL

      Public
      Configurable Hardware Implementation of XMSS
      VHDL
      •
      Other
      •0•4•0•0•Updated May 23, 2022May 23, 2022

    • HPC3

      Public
      Verilog
      •
      Other
      •0•2•0•0•Updated May 13, 2022May 13, 2022

    • RacingBIKE

      Public
      SystemVerilog
      •
      Other
      •2•12•0•0•Updated Jan 13, 2022Jan 13, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.