Sciweavers

3115 search results - page 7 / 623
» Synthesizing Secure Protocols
Sort
View
CSFW
2008
IEEE
16 years 1 months ago
Cryptographically-Sound Protocol-Model Abstractions
Christoph Sprenger, David A. Basin
131
Voted
CSFW
2007
IEEE
16 years 1 months ago
Electing the Doge of Venice: Analysis of a 13th Century Protocol
Miranda Mowbray, Dieter Gollmann