24188 search results - page 119 / 4838 » Computing on Encrypted Data |
123
click to vote
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
122
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
121
click to vote
CRYPTO
2008
Springer
15 years 4 months ago
2008
Springer
In this work we study the design of secure protocols for linear algebra problems. All current solutions to the problem are either inefficient in terms of communication complexity o...
150
click to vote
PKC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A group key agreement protocol allows a set of users, communicating over a public network, to agree on a private session key. Most of the schemes proposed so far require ...
140
click to vote
PVLDB
2010
15 years 1 months ago
2010
Many DBMS products in the market provide built in encryption support to deal with the security concerns of the organizations. This solution is quite effective in preventing data ...