Simple Two-Round OT in the Explicit Isogeny Model

ePrint Report: Simple Two-Round OT in the Explicit Isogeny Model

Emmanuela Orsini, Riccardo Zanotto

In this work we apply the Type-Safe (TS) generic group model, recently introduced by Zhandry (2022), to the more general setting of group actions and extend it to the universal composability (UC) framework of Canetti (2000). We then relax this resulting model, that we call UC-TS, to define an algebraic action framework (UC-AA), where the adversaries can behave algebraically, similarly to the algebraic group model (AGM), …

action actions adversaries call composability eprint report explicit framework general report safe simple work