Explore projects

LaTeX presentation template in official TU Graz corporate design

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