Methods

This section includes arguments showing the following equivalences:

• private input private output
• trusted input + one-bit trusted output trusted output + one-bit trusted input
• secure input secure output

• Achieving these Properties
• Equivalence
  • Private input private output.
  • Secure input secure output.
  • Trusted input + one bit of trusted output trusted output.
  • Symmetry of input and output.
  • Private output private input.
  • Secure output secure input.
  • Trusted output with one bit of trusted input trusted input.