Verifying a Mix Net in CSP
Tools
Stathakidis, E, Williams, DM and Heather, JA (2013) Verifying a Mix Net in CSP
![]() |
Text
avocs2013_submission_27.pdf Restricted to Repository staff only Download (205kB) |
Item Type: | Conference or Workshop Item (UNSPECIFIED) | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Authors : |
|
||||||||||||
Date : | September 2013 | ||||||||||||
Contributors : |
|
||||||||||||
Depositing User : | Symplectic Elements | ||||||||||||
Date Deposited : | 28 Mar 2017 13:26 | ||||||||||||
Last Modified : | 28 Mar 2017 13:26 | ||||||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/804614 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year