Explore projects

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

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

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

Maven repository of IAIK crypto libraries