Explore projects

Securityweek Physical Side-Channels Lab

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

Tool to generate mdp in PRISM language from experiments in CARLA

A collection of useful scripts

Python implementation of ASM related tools. (e.g., assembler and simulator for the TOY ISA and RISC-V)

SAT framework of "Bounds for the Security of Ascon against Differential and Linear Cryptanalysis" https://doi.org/10.46586/tosc.v2022.i1.64-87

Code for the paper: "Riding the Waves Towards Generic Single-Cycle Masking in Hardware"