659 search results - page 75 / 132 » Compiling and securing cryptographic protocols |
108
Voted
AMW
2010
15 years 2 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
131
click to vote
CCS
2011
ACM
14 years 15 days ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
116
Voted
EUROCRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...
117
click to vote
ACSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...
98
Voted
JUCS
2007
15 years 13 days ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...