CryptoLux

whitebox

White-box Analysis and Implementation Tools

sparkle

Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things

aes-cpa

CPA (Correlation Power Analysis) attacks against the AES (Advanced Encryption Standard)

primes-backdoor

Prime backdooring procedure to allow fast factorization of semiprimes

accumulator

Dynamic Universal Accumulator with Batch Update over Bilinear Groups

LegendrePRF

Cryptanalysis of the Legendre PRF Challenges

SPARX

The SPARX family of lightweight block ciphers

BlockSci

A high-performance tool for Zcash blockchain science and exploration

maps

Micro-Architectural Power Simulator (MAPS) for Cortex-M3

FELICS

FELICS Framework

ReCon

starkware_hash_challenge

Optimized Collision Search for STARK-Friendly Hash Challenge Candidates

findel

Declarative approach to financial derivatives on Ethereum

ofom

Optimal First-Order Boolean Masking

semiprimes

Distributed generation of semiprimes with unknown factorization using semiprimality certificates.

implicit_ARX_whitebox_cryptanalysis

Source code for the paper "Cryptanalysis of ARX-based White-box Implementations" (CHES 2023)

RD2018

Blockchain game material

TS-Hash-Cryptanalysis

Cryptanalysis of the TS-Hash lightweight LFSR-based hash function

whitebox-filtering

Code for the CHES 2024 paper "White-box filtering attacks breaking SEL masking: from exponential to polynomial time"

MeetInTheFilter_CHAM_KATAN

SAC 2022 - Advancing the Meet-in-the-Filter Technique: Applications to CHAM and KATAN

MeetInTheFilter_Speck

ACNS 2023 - Meet-in-the-Filter and Dynamic Counting with Applications to Speck

whitebox-LPN

LPN-based Attacks in the White-box Setting