Explore projects
-
PHTDev / Deployment
MIT LicenseUpdated -
Personal projects / Salt
Apache License 2.0Updated -
Personal projects / Salt Bootstrap
Apache License 2.0Updated -
DataSov / ekep
Apache License 2.0ProVerif formal models for the (modified) EKEP attestation protocol. Forked from https://github.com/google/ekep-analysis/.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
TRAIN / Zone Manager
Apache License 2.0Updated -
-
Updated
-
-
-
-
Convenience libraries and tools to use TPM 2.0 in Java environments.
Updated -
Daniel Hartstern / Implicit State Feedback
Apache License 2.0Updated -
DataSov / docker
Apache License 2.0Configurations for building and running the DataSov framework inside Docker containers.
Updated