Searching for authors named "Ben Smyth" – sorted by Relevance.
-
B.: Automatic verification of privacy properties in the applied pi calculus (extended version
- , Mark Ryan, and Ben Smyth Abstract We develop a formal method verification technique for crypto
- Cited by 1 (0 self) – Add To MetaCart
-
L.: Direct Anonymous Attestation (DAA): Ensuring privacy with corrupt administrators
- Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators ⋆,⋆⋆ Ben Smyth 1
- Cited by 1 (0 self) – Add To MetaCart
-
Direct Anonymous Attestation (DAA): Ensuring
- version) Last updated: January 9, 2008 Ben Smyth 1 , Mark Ryan 1 , and Liqun Chen 2 1 School of Computer
- Add To MetaCart
-
B.: Automatic verification of privacy properties in the applied pi calculus (extended version
- ,2 , Mark Ryan 1 , and Ben Smyth 1 1 School of Computer Science, University of Birmingham, UK {B.A.Smyth, M
- Cited by 1 (0 self) – Add To MetaCart
-
Publications
- Ben Smyth Curriculum Vitae Research Some details have been omitted from the online version
- Add To MetaCart

