Sciweavers

3115 search results - page 7 / 623
» Synthesizing Secure Protocols
Sort
View
97
Voted
CSFW
2008
IEEE
15 years 9 months ago
Cryptographically-Sound Protocol-Model Abstractions
Christoph Sprenger, David A. Basin
83
Voted
IEEEARES
2007
IEEE
15 years 9 months ago
A Human-Verifiable Authentication Protocol Using Visible Laser Light
Rene Mayrhofer, Martyn Welch
106
Voted
SPW
2005
Springer
15 years 8 months ago
The Initial Costs and Maintenance Costs of Protocols
Ross Anderson