Sciweavers

3115 search results - page 13 / 623
» Synthesizing Secure Protocols
Sort
View
57
Voted
SPW
2004
Springer
15 years 2 months ago
Toward a Broader View of Security Protocols
Matt Blaze
ICASSP
2010
IEEE
14 years 9 months ago
Revisiting the security of speaker verification systems against imposture using synthetic speech
In this paper, we investigate imposture using synthetic speech. Although this problem was first examined over a decade ago, dramatic improvements in both speaker verification (S...
Phillip L. De Leon, Vijendra Raj Apsingekar, Micha...
CSFW
2003
IEEE
15 years 2 months ago
A Derivation System for Security Protocols and its Logical Formalization
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
SPW
1999
Springer
15 years 1 months ago
Trust Management and Network Layer Security Protocols
Matt Blaze, John Ioannidis, Angelos D. Keromytis
CSFW
2006
IEEE
15 years 1 months ago
Verified Interoperable Implementations of Security Protocols
Karthikeyan Bhargavan, Cédric Fournet, Andr...