The Essential Design Principles of Verifiable Non-interactive OT Protocols. - Ya-Fen Chang; Wei-Cheng Shiao (ISDA (3), 2008)