3228 search results - page 508 / 646 » Computationally Sound Proofs |
131
click to vote
PKC
2009
Springer
16 years 3 months ago
2009
Springer
Similar to verifiable shuffling (or, mixing), we consider the problem of verifiable rotating (and random re-encrypting) a given list of homomorphic encryptions. The offset by which...
146
click to vote
TLDI
2010
ACM
15 years 12 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
119
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
126
click to vote
APPROX
2005
Springer
15 years 8 months ago
2005
Springer
A large class of stochastic optimization problems can be modeled as minimizing an objective function f that depends on a choice of a vector x ∈ X, as well as on a random external...
112
click to vote
EUROCRYPT
2005
Springer
15 years 8 months ago
2005
Springer
It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding ...