Pages that link to "Item:Q1749300"
From MaRDI portal
The following pages link to Equational security proofs of oblivious transfer protocols (Q1749300):
Displaying 7 items.
- ``The simplest protocol for oblivious transfer'' revisited (Q783707) (← links)
- Formal analysis of symbolic authenticity (Q831950) (← links)
- A secure protocol for the oblivious transfer. (Extended abstract) (Q1924198) (← links)
- Robust and secure implementation: equivalence theorems (Q2016223) (← links)
- Blazing fast OT for three-round UC OT extension (Q2055696) (← links)
- Efficient and round-optimal oblivious transfer and commitment with adaptive security (Q2691588) (← links)
- Compactness vs Collusion Resistance in Functional Encryption (Q3181036) (← links)