Explore projects
-
Updated
-
-
Upstream repository for Cryptanalysis KU 2023 https://www.iaik.tugraz.at/cryptanalysis
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Reference implementations and scripts to calculate round numbers for the PRF Hydra.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
Python implementation of ASM related tools. (e.g., assembler and simulator for the TOY ISA and RISC-V)
Updated -
SAT framework of "Bounds for the Security of Ascon against Differential and Linear Cryptanalysis" https://doi.org/10.46586/tosc.v2022.i1.64-87
Updated -
PoC code for "Information-Combining Fault Attacks on DEFAULT" https://doi.org/10.1007/978-3-031-07082-2_7
Updated -
MILP/CP framework for "Analyzing the Linear Keystream Biases in AEGIS" https://doi.org/10.13154/tosc.v2019.i4.348-368
Tools for finding linear characteristics for the authenticated cipher AEGIS from the CAESAR portfolio: Mixed-Integer Linear Programming (MILP) and Constraint Programming (CP) models including TikZ output
Updated -
Code for the paper: "Riding the Waves Towards Generic Single-Cycle Masking in Hardware"
Updated -
Updated