Explore projects

Updated


Updated

Updated



Updated

Updated

Updated

Updated

Reference implementations and scripts to calculate round numbers for the PRF Hydra.
Updated 
ijtihad is a solver for Quantified Boolean Formulas based on counterexampleguided expansion.
Updated 
Updated

Updated

A tool to find key recovery attacks based on a given cluster of differentials
Updated 
Updated