1825 search results - page 141 / 365 » Cryptographic Securities Exchanges |
138
click to vote
CCS
2000
ACM
15 years 8 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
154
click to vote
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
In developing secure applications and systems, the designers often must incorporate secure user identification in the design specification. In this paper, we study secure off-line...
140
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
153
click to vote
ICICS
2010
Springer
15 years 1 months ago
2010
Springer
With today's technology, many applications rely on the existence of small devices that can exchange information and form communication networks. In a significant portion of su...
135
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses the problem of image retrieval from an encrypted database, where data confidentiality is preserved both in the storage and retrieval process. The paper focus...