ACISP
2013
Springer
12 years 2 months ago
2013
Springer
The idea of combining a very simple form of added plaintext redundancy with a special mode of data encryption to provide data integrity is an old one; however, despite its wide dep...
418
click to vote
ACCV
2013
Springer
12 years 2 months ago
2013
Springer
Many visual datasets are traditionally used to analyze the performance of different learning techniques. The evaluation is usually done within each dataset, therefore it is questi...
TCC
2014
Springer
12 years 2 months ago
2014
Springer
We present a new general-purpose obfuscator for all polynomial-size circuits. The obfuscator uses graded encoding schemes, a generalization of multilinear maps. We prove that the ...
TAFA
2014
12 years 2 months ago
2014
143
click to vote
SEFM
2014
IEEE
12 years 2 months ago
2014
IEEE
Choreographies allow designers to specify the protocols followed by participants of a distributed interaction. Adapting the behavior of a participant, either because of external r...
106
click to vote
PSIVT
2014
Springer
12 years 2 months ago
2014
Springer
In this paper we present a spatial gamut mapping algorithm that relies on a perceptually-based variational framework. Our method adapts a well-known image energy functional whose m...
POST
2014
12 years 2 months ago
2014
Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be de...
PAM
2014
Springer
12 years 2 months ago
2014
Springer
Traditionally, radio resources are released in cellular networks by statically configured inactivity timers, causing substantial resource inefficiencies. We propose a novel syste...
INNOVATIONS
2014
12 years 2 months ago
2014
We show that (leveled) fully homomorphic encryption (FHE) can be based on the hardness