Software Open Access

lordqwerty/tamarin-models: Models contained in Thesis

Jorden Whitefield

Tamarin files associated with my thesis "Formal Analysis and Applications of Direct Anonymous Attestation"
Files (366.1 kB)
Name Size
lordqwerty/tamarin-models-1.zip
md5:d8698b7518a4be0f13d022c3978a6772
366.1 kB Download
115
18
views
downloads
All versions This version
Views 115115
Downloads 1818
Data volume 6.6 MB6.6 MB
Unique views 109109
Unique downloads 1717

Share

Cite as