sbaloglu/tamarin-codes

Tamarin codes for checking verifiability properties of Helios and Belenios electronic voting protocols regarding various adversary models

Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Michaelsladkov/matlog_lab2

Language: Java - Size: 19.5 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0