TCC
2016
Springer
8 years 14 days ago
2016
Springer
TCC
2016
Springer
8 years 14 days ago
2016
Springer
In [CDS94] Cramer, Damg˚ard and Schoenmakers (CDS) devise an OR-composition technique for Σ-protocols that allows to construct highly-efficient proofs for compound statements. S...
TCC
2016
Springer
8 years 14 days ago
2016
Springer
We consider interactive proof systems over adversarial communication channels. We show that the seminal result that IP = PSPACE still holds when the communication channel is malic...
TCC
2016
Springer
8 years 14 days ago
2016
Springer
We present a new constant round additively homomorphic commitment scheme with (amortized) computational and communication complexity linear in the size of the string committed to. ...
TCC
2016
Springer
8 years 14 days ago
2016
Springer
We provide constructions of multilinear groups equipped with natural hard problems from indistinguishability obfuscation, homomorphic encryption, and NIZKs. This complements known...
TCC
2016
Springer
8 years 14 days ago
2016
Springer
TCC
2016
Springer
8 years 14 days ago
2016
Springer
An order-revealing encryption scheme gives a public procedure by which two ciphertexts can be compared to reveal the ordering of their underlying plaintexts. We show how to use or...
TCC
2016
Springer
8 years 14 days ago
2016
Springer
TCC
2016
Springer
8 years 14 days ago
2016
Springer
TCC
2016
Springer
8 years 14 days ago
2016
Springer