Pinned Repositories
selene-proofs
Tamarin theories for proving vote-privacy and receipt-freeness on a simplified version of the Selene voting protocol
MVC-Project
MVCProject
romannumerals
Demo for Software Circus
Zodiac
MVC-Project
ShoppingList
EvaSleva's Repositories
EvaSleva/selene-proofs
Tamarin theories for proving vote-privacy and receipt-freeness on a simplified version of the Selene voting protocol
EvaSleva/Zodiac
EvaSleva/romannumerals
Demo for Software Circus
EvaSleva/MVCProject
EvaSleva/MVC-Project