Equational security proofs of oblivious transfer protocols
From MaRDI portal
Recommendations
Cited in
(9)- Formal analysis of symbolic authenticity
- Compactness vs collusion resistance in functional encryption
- Efficient and round-optimal oblivious transfer and commitment with adaptive security
- Endemic oblivious transfer via random oracles, revisited
- Blazing fast OT for three-round UC OT extension
- Equivocable oblivious transfer
- ``The simplest protocol for oblivious transfer revisited
- Local XOR unification: definitions, algorithms and application to cryptography
- Robust and secure implementation: equivalence theorems
This page was built for publication: Equational security proofs of oblivious transfer protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749300)