Ben Smyth
5 published titles
Automatic verification of privacy properties in the applied pi calculus
(Contributor)
1 edition
- University of Birmingham
- 2007
- Details
Exploiting Natwest and RBS online banking systems for profit
1 edition
- School of Computer Science, University of Birmingham
- 2010
- Details
Election verifiability in electronic voting protocols
(Contributor)
1 edition
- School of Computer Science, University of Birmingham
- 2010
- Details
Forgotten your responsibilities? (How password recovery threatens banking security)
1 edition
- School of Computer Science, University of Birmingham
- 2010
- Details
Information security practice and experience : 8th international conference, ISPEC 2012, Hangzhou, China, April 9-12 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642291005
- Springer
- 2012
- Details
