1777 search results - page 131 / 356 » Programming Cryptographic Protocols |
112
click to vote
FSE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...
129
click to vote
ACNS
2011
Springer
14 years 4 months ago
2011
Springer
A method for extracting cryptographic key material from DRAM used in modern computers has been recently proposed in [9]; the technique was called Cold Boot attacks. When considerin...
140
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
113
click to vote
ICALP
2010
Springer
15 years 3 months ago
2010
Springer
Gossip protocols, also known as epidemic dissemination schemes, are becoming increasingly popular in distributed systems. Yet, it has remained a partially open question to determin...
105
click to vote
PADL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...