Mark Ryan
Home page
Research
Publications
Slides
Interests
Activities
Teaching
Comp. Sec.
Network Sec.
Projects
Book
Book info
On Amazon
Reviews
About
Timetable
Photos
Historic
Links
Weather
Scroogle
Wikipedia
Verification of Protocols
Research Activity
Verification of contract signing protocols
Verification of protocols used in biometric authentication
Verifying anonymity and privacy properties of protocols
Validation of ubiquitous computing applications