The Essential Design Principles of Verifiable Non-interactive OT Protocols | IEEE Conference Publication | IEEE Xplore