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