860 search results - page 20 / 172 » Completeness in two-party secure computation: a computationa... |
192
click to vote
LICS
2007
IEEE
16 years 10 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
170
click to vote
IACR
2011
14 years 5 months ago
2011
Companies, organizations, and individuals often wish to share information to realize valuable social and economic goals. Unfortunately, privacy concerns often stand in the way of ...
175
click to vote
3DPVT
2006
IEEE
16 years 3 days ago
2006
IEEE
This paper presents a hybrid modeling system that fuses LiDAR data, an aerial image and ground view images for rapid creation of accurate building models. Outlines for complex bui...
158
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Motivated by the study of algorithmic problems in the domain of information security, in this paper, we study the complexity of a new class of computations over a collection of va...
182
click to vote
CRYPTO
2006
Springer
15 years 9 months ago
2006
Springer
In the setting of multiparty computation, a set of parties wish to jointly compute a function of their inputs, while preserving security in the case that some subset of them are co...