Forked from https://git.imp.fu-berlin.de/agnumpde/dune-matrix-vector.git
Forked from https://gitlab.dune-project.org/staging/dune-functions/-/tree/master
Interfaces and common libraries for the DataSov framework.
Forked from https://gitlab.dune-project.org/Xinyun.Li/dune-iga
SmartTC: Java library for heterogeneous trusted computing.
Policy Enforcement Point module that accesses the DataSov infrastructure for usage control enforcement.
TPM-based assertion generator for the DataSov infrastructure.