2137 search results - page 200 / 428 » Proving Abstract Non-interference |
121
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
118
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
107
click to vote
AISC
2004
Springer
15 years 8 months ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
100
click to vote
ASIACRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. It is almost a folklore-knowledge that hash-based time-stamping schemes are secure if the underlying hash function is collisionresistant but still no rigorous proofs have...
121
click to vote
ASIACRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Several generalizations of linear cryptanalysis have been proposed in the past, as well as very similar attacks in a statistical point of view. In this paper, we define ...