947 search results - page 26 / 190 » Provable Implementations of Security Protocols |
CCS
1998
ACM
15 years 4 months ago
1998
ACM
The Point-to-Point Tunneling Protocol (PPTP) is used to secure PPP connections over TCP/IP links. In this paper we analyze Microsoft's Windows NT implementation of PPTP. We s...
ENTCS
2006
14 years 11 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
GLOBECOM
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract—It is generally believed harmful to have transmission errors in the wireless communications. The high decoding complexity of dense parity check codes is unfavorable. Thi...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
101
click to vote
DAGSTUHL
2007
15 years 1 months ago
2007
We give an outline of the specification and provable security features of the QUAD stream cipher proposed at Eurocrypt 2006 [6]. The cipher relies on the iteration of a multivaria...