Explore projects

Hosts a vulnerable demo project for IntelliSecTest development purposes

Full state estimator for robots

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

Dummie App for Rego Communication

MPC problem where:

Gaussian Processes model forces, Impedance parameters and robot trajectory can be optimized, Multiple modes of GP models are supported

Repository for the Production-Loadprofile-Tool developed in the research project ProEnergie - Bayern.

The tool is used to train machine learning models for the prediction of loadprofiles. The models are trained with historical production and load data that can be uploaded in the web interface. Then, the loadprofile can be predicted on basis of the production planning data.

A graphical user interface for your scripts... in the browser!