Explore projects
-
-
Provision basic metrics exporter for prometheus monitoring tool
Updated -
Updated
-
This project shows an example of the barrel algorithm used during the class Biometric Systems (SS21) in the paper "Modeling 2D contactless Finger Images from SyntheticFingerprints"
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Tamarin models and security proofs for the paper "Integrating Privacy into the Electric Vehicle Charging Architecture"
Updated -