7055 search results - page 1217 / 1411 » Some New 4-Designs |
192
click to vote
EUROCRYPT
2008
Springer
15 years 9 months ago
2008
Springer
Secure multi-party computation (MPC) is a central problem in cryptography. Unfortunately, it is well known that MPC is possible if and only if the underlying communication network...
222
click to vote
EUROCRYPT
2008
Springer
15 years 9 months ago
2008
Springer
We introduce a new notion called -isolated proofs of knowledge ( -IPoK). These are proofs of knowledge where a cheating prover is allowed to exchange up to bits of communication wi...
215
click to vote
BPSC
2007
15 years 8 months ago
2007
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
210
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
190
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Abstract. In this chapter, we present a new interactive procedure for multiobjective optimization, which is based on the use of a set of value functions as a preference model built...