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) | ||||||||
---|---|---|---|---|---|---|---|---|---|
Divisions : | Surrey research (other units) | ||||||||
Authors : | Stathakidis, E, Williams, DM and Heather, JA | ||||||||
Date : | September 2013 | ||||||||
Contributors : |
|
||||||||
Depositing User : | Symplectic Elements | ||||||||
Date Deposited : | 28 Mar 2017 13:26 | ||||||||
Last Modified : | 23 Jan 2020 13:03 | ||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/804614 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year