Explore projects
-
Updated
-
-
Updated
-
LaTeX master's thesis/dissertation titlepage template in TU Graz corporate design
Updated -
Updated
-
Mirror of "PDF-Signatur-Software PDF-Over" from https://git.egiz.gv.at/pdf-over/
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 -
Code for the paper: "Riding the Waves Towards Generic Single-Cycle Masking in Hardware"
Updated -
Updated
-
PoC code for "Information-Combining Fault Attacks on DEFAULT" https://doi.org/10.1007/978-3-031-07082-2_7
Updated -
-
Updated
-
This is the very first step towards Learning Mealy Machines with Timers.
Updated -
This project provides an interface to interact with an IEEE802.11 device. As of now '2021.10.18' only the access point devices are supported. More functionalities might follow.
Updated -
-
Assignment descriptions and frameworks for Verification and Testing 2021/22.
Updated