2137 search results - page 200 / 428 » Proving Abstract Non-interference |
176
Voted
TGC
2005
Springer
16 years 14 days ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
178
click to vote
VSTTE
2005
Springer
16 years 14 days 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...
166
Voted
AISC
2004
Springer
16 years 12 days 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...
139
Voted
ASIACRYPT
2004
Springer
16 years 12 days 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...
177
Voted
ASIACRYPT
2004
Springer
16 years 12 days 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 ...