1777 search results - page 120 / 356 » Programming Cryptographic Protocols |
139
click to vote
CASES
2010
ACM
14 years 11 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
115
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
112
click to vote
SIGCSE
2000
ACM
15 years 5 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
103
click to vote
EUROSEC
2009
ACM
15 years 8 months ago
2009
ACM
We present application-based TCP hijacking (ABTH), a new attack on TCP applications that exploits flaws due to the interplay between TCP and application protocols to inject data ...
137
click to vote
ICQNM
2008
IEEE
15 years 7 months ago
2008
IEEE
Coin flipping is a cryptographic primitive in which two spatially separated players, who in principle do not trust each other, wish to establish a common random bit. If we limit ...