Equational security proofs of oblivious transfer protocols
From MaRDI portal
Recommendations
Cited in
(10)- Robust and secure implementation: equivalence theorems
- Blazing fast OT for three-round UC OT extension
- Efficient and round-optimal oblivious transfer and commitment with adaptive security
- Equivocable oblivious transfer
- Compactness vs collusion resistance in functional encryption
- scientific article; zbMATH DE number 503345 (Why is no real title available?)
- Local XOR unification: definitions, algorithms and application to cryptography
- Endemic oblivious transfer via random oracles, revisited
- ``The simplest protocol for oblivious transfer revisited
- Formal analysis of symbolic authenticity
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)