Explore projects

A Mirror of the Cpp Linenoise on GitHub.

PoC code for "Information-Combining Fault Attacks on DEFAULT" https://doi.org/10.1007/978-3-031-07082-2_7

A Mirror of the Hat Trie project on GitHub.

Reference implementations and scripts to calculate round numbers for the PRF Hydra.

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.