Skip to content

Source code for "Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme" accepted at ASIACCS 2020

License

Notifications You must be signed in to change notification settings

UoS-SCCS/ecc-daa

Repository files navigation

About

Source code for "Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme" accepted at ASIACCS 2020

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages