Repositories list

• AutoDiVer

  Public
  Automatic Verification of Differential Characteristics

  Python

  •

  MIT License

  •0•6•0•0•Updated Feb 8, 2026Feb 8, 2026

• beanie_cipher

  Public
  MiniZinc

  •

  GNU General Public License v3.0

  •0•2•0•0•Updated Jan 27, 2026Jan 27, 2026

• Eviction-Notice

  Public
  C

  •

  MIT License

  •0•2•0•0•Updated Jan 15, 2026Jan 15, 2026

• zip-cipher-analysis

  Public
  Code for the Paper "Key Recovery Attacks on ZIP Ciphers"

  MiniZinc

  •

  MIT License

  •0•2•0•0•Updated Dec 18, 2025Dec 18, 2025

• sweb

  Public
  SWEB Educational OS

  c-plus-plusoperating-systemeducational-software

  C++

  •117•129•7•2•Updated Dec 5, 2025Dec 5, 2025

• cache_template_attacks

  Public
  This repository contains several tools to perform Cache Template Attacks

  C

  •

  The Unlicense

  •64•164•0•0•Updated Nov 11, 2025Nov 11, 2025

• CACM_Shielding_Demonstrations

  Public
  C++

  •0•0•0•0•Updated Oct 27, 2025Oct 27, 2025

• con-tt-template

  Public
  Verilog

  •

  Apache License 2.0

  •57•1•0•0•Updated Oct 2, 2025Oct 2, 2025

• MemoryBandAid

  Public
  Python

  •0•2•0•0•Updated Sep 9, 2025Sep 9, 2025

• TDXploit

  Public
  C

  •0•5•0•0•Updated Aug 15, 2025Aug 15, 2025

• ascon-rpp-preimages

  Public
  Random-Prefix Preimages for Reduced Ascon-Hash

  Python

  •0•1•0•0•Updated Aug 13, 2025Aug 13, 2025

• TLBSideChannel

  Public
  C

  •

  MIT License

  •4•22•0•0•Updated Aug 5, 2025Aug 5, 2025

• rowhammerjs

  Public
  Rowhammer.js - A Remote Software-Induced Fault Attack in JavaScript

  C++

  •77•521•0•0•Updated Jun 15, 2025Jun 15, 2025

• romulush_collisions

  Public
  Code for the paper "Finding Collisions for Round-Reduced Romulus-H"

  Linear Programming

  •0•3•0•0•Updated Apr 15, 2025Apr 15, 2025

• SnailLoad

  Public
  SnailLoad Demo Webserver

  proof-of-conceptsidechannelattacksnailload

  C

  •

  MIT License

  •4•38•0•0•Updated Feb 5, 2025Feb 5, 2025

• KernelSnitch

  Public
  C

  •

  MIT License

  •0•27•1•0•Updated Nov 30, 2024Nov 30, 2024

• hybrid-HE-framework

  Public
  C

  •

  MIT License

  •16•45•5•0•Updated Nov 27, 2024Nov 27, 2024

• six-worlds-anemoi

  Public
  Exploring the Six Worlds of Gröbner Basis Cryptanalysis: Application to Anemoi

  cryptanalysisgrobner-basishashfunctions+ 1anemoi

  Jupyter Notebook

  •

  MIT License

  •0•0•0•0•Updated Nov 22, 2024Nov 22, 2024

• ca-tip5family-monolith

  Public
  Opening the Blackbox: Collision attacks on round-reduced Tip5, Tip4, Tip4’ and Monolith.

  cryptanalysismonolithgroebner-basis+ 3hashfunctionscollision-attackstip5

  Jupyter Notebook

  •

  MIT License

  •0•5•0•0•Updated Nov 22, 2024Nov 22, 2024

• glitch-contracts

  Public
  C++

  •2•1•2•0•Updated Nov 12, 2024Nov 12, 2024

• coco-alma

  Public
  CocoAlma is an execution-aware tool for formal verification of masked implementations

  Python

  •

  Apache License 2.0

  •13•24•2•2•Updated Sep 26, 2024Sep 26, 2024

• SLUBStick

  Public
  C

  •10•105•2•0•Updated Aug 9, 2024Aug 9, 2024

• DefectsInDepth

  Public
  Python

  •0•6•0•0•Updated Jul 10, 2024Jul 10, 2024

• Chestnut

  Public
  C

  •

  zlib License

  •4•25•0•1•Updated Jun 2, 2024Jun 2, 2024

• Remote-Memory-Deduplication-Attacks

  Public
  Remote Page Deduplication Attacks

  Python

  •0•4•0•0•Updated May 28, 2024May 28, 2024

• CacheSim

  Public
  C++

  •

  Other

  •1•4•0•0•Updated May 21, 2024May 21, 2024

• transientfail

  Public
  Website and PoC collection for transient execution attacks

  C

  •

  zlib License

  •44•200•13•0•Updated Mar 9, 2024Mar 9, 2024

• drawio2tikz

  Public
  drawio2tikz - a tool to translate drawio xml files to readable and adaptable tikz code

  latextikztikz-figures+ 2drawiodrawio-tools

  Python

  •3•53•1•0•Updated Jan 31, 2024Jan 31, 2024

• spearv

  Public
  C

  •0•3•0•0•Updated Sep 4, 2023Sep 4, 2023

• CollidePower

  Public
  C

  •0•24•0•0•Updated Aug 9, 2023Aug 9, 2023