Explore projects

Me playing around with C++/Qt Quick/QML.

Forked from https://github.com/magnese/dune-navier-stokes-two-phase

Forked from https://gitlab.dune-project.org/Xinyun.Li/dune-iga

Forked from https://gitlab.dune-project.org/pdelab/dune-pdelab-tutorials.git

Forked from https://gitlab.dune-project.org/pdelab/dune-pdelab.git

Forked from https://gitlab.dune-project.org/extensions/dune-codegen

Forked from https://git.imp.fu-berlin.de/agnumpde/dune-matrix-vector.git

Forked from https://gitlab.dune-project.org/anne.reinarz/dune-composites

Forked from https://gitlab.dune-project.org/staging/dune-functions/-/tree/master

Cell counting software developed for the IVD project as part of my student research project.

Ready-to-run usage control and provenance tracking examples utillizing the DataSov framework.

Interfaces and common libraries for the DataSov framework.

Policy Enforcement Point module that accesses the DataSov infrastructure for usage control enforcement.

SmartTC: Library for heterogeneous trusted computing.

SmartTC: Java library for heterogeneous trusted computing.

TPM-based assertion generator for the DataSov infrastructure.

Default TTP for the Datasov framework.

Monitor that receives and stores usage control state and attestation information from DataSov components.