Items where Author is "Moran, M"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 2.
Article
Moran, M, Heather, J and Schneider, S (2012) Verifying anonymity in voting systems using CSP Formal Aspects of Computing . 1 - 36. ISSN 0934-5043
Conference or Workshop Item
Moran, M, Heather, JA and Schneider, SA (2011) Anonymity and CSP for Voting Systems In: CryptoForma 2011, 2011-06-21 - ?, Limerick.