Searching for authors named "Ben Smyth" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
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
Showing 1 through 5.
