Skip to main content

Table 3 Garbled AND gate

From: SPIKE: secure and private investigation of the kidney exchange problem

Input \(w_0\)

Input \(w_1\)

Output \(w_2\)

Garbled value

\(k_0^{w_0}\)

\(k_0^{w_1}\)

\(k_0^{w_2}\)

\(\mathrm {Enc}_{k_0^{w_0},k_0^{w_1}}(k_0^{w_2})\)

\(k_0^{w_0}\)

\(k_1^{w_1}\)

\(k_0^{w_2}\)

\(\mathrm {Enc}_{k_0^{w_0},k_1^{w_1}}(k_0^{w_2})\)

\(k_1^{w_0}\)

\(k_0^{w_1}\)

\(k_0^{w_2}\)

\(\mathrm {Enc}_{k_1^{w_0},k_0^{w_1}}(k_0^{w_2})\)

\(k_1^{w_0}\)

\(k_1^{w_1}\)

\(k_1^{w_2}\)

\(\mathrm {Enc}_{k_1^{w_0},k_1^{w_1}}(k_1^{w_2})\)