65 search results - page 9 / 13 » Property Preserving Symmetric Encryption |
153
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
107
click to vote
IH
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
172
click to vote
CARDIS
2006
Springer
15 years 8 months ago
2006
Springer
Massively deploying RFID systems while preserving people's privacy and data integrity is a major security challenge of the coming years. Up to now, it was commonly believed th...
141
click to vote
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Non-malleability is an interesting and useful property which ensures that a cryptographic protocol preserves the independence of the underlying values: given for example an encryp...
150
click to vote
ASIACRYPT
2003
Springer
15 years 9 months ago
2003
Springer
In this paper1 we propose a new symmetric block cipher with the following paradoxical traceability properties: it is computationally easy to derive many equivalent secret keys prov...