Search Sciweavers | Sciweavers

3115 search results - page 13 / 623

» Synthesizing Secure Protocols

click to vote

SPW
2004
Springer

98views Security Privacy» more SPW 2004»

Toward a Broader View of Security Protocols

15 years 5 months ago

Download www.crypto.com

Matt Blaze

claim paper

Read More »

click to vote

ICASSP
2010
IEEE

135views Signal Processing» more ICASSP 2010»

Revisiting the security of speaker verification systems against imposture using synthetic speech

14 years 12 months ago

Download www.ece.nmsu.edu

In this paper, we investigate imposture using synthetic speech. Although this problem was ﬁrst examined over a decade ago, dramatic improvements in both speaker veriﬁcation (S...

Phillip L. De Leon, Vijendra Raj Apsingekar, Micha...

claim paper

Read More »

102

click to vote

CSFW
2003
IEEE

101views Security Privacy» more CSFW 2003»

A Derivation System for Security Protocols and its Logical Formalization

15 years 5 months ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

click to vote

SPW
1999
Springer

84views Security Privacy» more SPW 1999»

Trust Management and Network Layer Security Protocols

15 years 3 months ago

Download www1.cs.columbia.edu

Matt Blaze, John Ioannidis, Angelos D. Keromytis

claim paper

Read More »

click to vote

CSFW
2006
IEEE

118views Security Privacy» more CSFW 2006»

Verified Interoperable Implementations of Security Protocols

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers