Explore projects
-
ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.
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 -
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 -
-
LaTeX master's thesis/dissertation titlepage template in TU Graz corporate design
Updated -
-
LaTeX presentation template in official TU Graz corporate design
Updated -
Template GIT repo structure for IAIK master's projects
Updated -
-
Updated
-
Template GIT repo structure for Introduction to Scientific Writing reports
Updated -
Template GIT repo structure for IAIK bachelor's theses
Updated -
Template GIT repo structure for IAIK master's theses
Updated