Explore projects

WSL installation script with ansible for ZSH

Native core components for the DataSov framework.

Simulation scenarios and example applications

ProVerif formal models for the (modified) EKEP attestation protocol. Forked from https://github.com/google/ekep-analysis/.

Sample webapp for Cloud workshop at Fraunhofer ATIM 2018 in Dresden

Configurations for building and running the DataSov framework inside Docker containers.

Build optimization and MPC problems in python