Explore projects

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.

Upstream Git Repository for Computer Organization and Networks Practicals 2019/20

This project contains the material for the Verification and Testing practicals.

A tool to find key recovery attacks based on a given cluster of differentials

Upstream Git Repository for Computer Organization and Networks Practicals 2020/21