Explore projects

Work on soft error analysis for the IMMORTAL project (activity with IBM)

Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

This is the very first step towards Learning Mealy Machines with Timers.

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

Maven repository of IAIK crypto libraries