TY - GEN
T1 - Single-bit re-encryption with applications to distributed proof systems
AU - Borisov, Nikita
AU - Minami, Kazuhiro
PY - 2007/12/1
Y1 - 2007/12/1
N2 - We examine the implementation of the distributed proof system designed by Minami and Kotz [17]. We find that, although a high-level analysis shows that it preserves confidentiality, the implementation of the cryptographic primitives contains a covert channel that can leak information. Moreover, this channel is present with any traditional choice of public key encryption functions. To remedy this problem, we use the Goldwasser-Micali cryptosystem to implement single-bit re-encryption and show how to make it free of covert channels. We then extend the primitive to support commutative encryption as well. Using this primitive, we design a variant of the Minami-Kotz algorithm that not only is free of covert channels, but also has additional proving power over the original design.
AB - We examine the implementation of the distributed proof system designed by Minami and Kotz [17]. We find that, although a high-level analysis shows that it preserves confidentiality, the implementation of the cryptographic primitives contains a covert channel that can leak information. Moreover, this channel is present with any traditional choice of public key encryption functions. To remedy this problem, we use the Goldwasser-Micali cryptosystem to implement single-bit re-encryption and show how to make it free of covert channels. We then extend the primitive to support commutative encryption as well. Using this primitive, we design a variant of the Minami-Kotz algorithm that not only is free of covert channels, but also has additional proving power over the original design.
KW - commutative encryption
KW - covert channels
KW - distributed proof systems
KW - goldwasser-micali
KW - re-encryption
UR - http://www.scopus.com/inward/record.url?scp=79959664186&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79959664186&partnerID=8YFLogxK
U2 - 10.1145/1314333.1314341
DO - 10.1145/1314333.1314341
M3 - Conference contribution
AN - SCOPUS:79959664186
SN - 9781595938831
T3 - WPES'07 - Proceedings of the 2007 ACM Workshop on Privacy in Electronic Society
SP - 48
EP - 55
BT - WPES'07 - Proceedings of the 2007 ACM Workshop on Privacy in Electronic Society
T2 - 6th ACM Workshop on Privacy in the Electronic Society, WPES'07, Held in Association with the 14th ACM Computer and Communications Security Conference
Y2 - 29 October 2007 through 29 October 2007
ER -