29 May 2013 Evaluating encrypted Boolean functions on encrypted bits: secure decision-making on the black side
Author Affiliations +
Abstract
We present a novel approach for secure evaluation of encrypted Boolean functions on encrypted bits. Building upon Barrington’s work to transform circuits to group programs and the Feige-Kilian-Naor cryptographic protocol, our novel Fixed Structure Group Program construction for secure evaluation eliminates the need for an expensive Universal Circuit to hide the function. Elements on the Black side weave together and multiply two coordinated streams of random sequences of elements from an unsolvable group; the Boolean decision is recovered while preserving the confidentiality of the decision function and the input bits. The operation is fast and can be further sped up using parallel computation. Our approach can handle expressions with NC1 complexity, which is the class of Acyclic Boolean Circuits with polynomial width and logarithmic depth in the size of the input. This efficiently parallelizable class includes nonmonotone Boolean expressions of equality, inequality/range, Hamming distance, Boolean matrix multiplication, and kof- m threshold matching operations. The combined benefits of scaling and expressivity of our approach enables secure decision-making on the Black side. Envisioned applications include confidential publish/subscribe systems (with empirically validated performance), secure content-oriented internetworks, confidential forwarding and firewalling rules, and cross-domain guards.
© (2013) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Rajesh Krishnan, Ravi Sundaram, "Evaluating encrypted Boolean functions on encrypted bits: secure decision-making on the black side", Proc. SPIE 8754, Open Architecture/Open Business Model Net-Centric Systems and Defense Transformation 2013, 875409 (29 May 2013); doi: 10.1117/12.2018574; https://doi.org/10.1117/12.2018574
PROCEEDINGS
10 PAGES


SHARE
RELATED CONTENT

Query evaluation on efficiently encoded GML streams
Proceedings of SPIE (November 03 2008)
Codes For Optical Data Storage
Proceedings of SPIE (January 01 1983)
CORDIC processor architectures
Proceedings of SPIE (December 01 1991)

Back to Top