Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT

Cyprien Delpech de Saint Guilhem; Emmanuela Orsini; Christophe Petit; Nigel P. Smart

doi:10.1007/978-3-030-65411-5_12

Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT

Cyprien Delpech de Saint Guilhem
, Emmanuela Orsini
, Christophe Petit
, Nigel P. Smart^*

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We define semi-commutative invertible masking structures which aim to capture the methodology of exponentiation-only protocol design (such as discrete logarithm and isogeny-based cryptography). We give an instantiation based on the semi-commutative action of isogenies of supersingular elliptic curves, in the style of the SIDH key-exchange protocol. We then construct an oblivious transfer protocol using this new structure and prove that it UC-securely realises the oblivious transfer functionality in the random-oracle-hybrid model against passive adversaries with static corruptions. Moreover, we show that it satisfies the security properties required by the compiler of Döttling et al. (Eurocrypt 2020), achieving the first fully UC-secure two-round OT protocol based on supersingular isogenies.

Original language	English
Title of host publication	Cryptology and Network Security
Subtitle of host publication	19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings
Editors	Stephan Krenn, Haya Shulman, Serge Vaudenay
Publisher	Springer
Pages	235-258
Number of pages	24
Edition	1
ISBN (Electronic)	9783030654115
ISBN (Print)	9783030654108
DOIs	https://doi.org/10.1007/978-3-030-65411-5_12
Publication status	Published - 7 Dec 2020
Event	19th International Conference on Cryptology and Network Security, CANS 2020 - Vienna, Austria Duration: 14 Dec 2020 → 16 Dec 2020

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	12579
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	19th International Conference on Cryptology and Network Security, CANS 2020
Country/Territory	Austria
City	Vienna
Period	14/12/20 → 16/12/20

Bibliographical note

Publisher Copyright:
© Springer Nature Switzerland AG 2020.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-65411-5_12

Cite this

de Saint Guilhem, C. D., Orsini, E., Petit, C., & Smart, N. P. (2020). Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT. In S. Krenn, H. Shulman, & S. Vaudenay (Eds.), Cryptology and Network Security: 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings (1 ed., pp. 235-258). (Lecture Notes in Computer Science; Vol. 12579). Springer. https://doi.org/10.1007/978-3-030-65411-5_12

de Saint Guilhem, Cyprien Delpech ; Orsini, Emmanuela ; Petit, Christophe et al. / Semi-commutative masking : A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT. Cryptology and Network Security: 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings. editor / Stephan Krenn ; Haya Shulman ; Serge Vaudenay. 1. ed. Springer, 2020. pp. 235-258 (Lecture Notes in Computer Science).

@inproceedings{b00704b07d6c430289d1dda5e641dba4,

title = "Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT",

abstract = "We define semi-commutative invertible masking structures which aim to capture the methodology of exponentiation-only protocol design (such as discrete logarithm and isogeny-based cryptography). We give an instantiation based on the semi-commutative action of isogenies of supersingular elliptic curves, in the style of the SIDH key-exchange protocol. We then construct an oblivious transfer protocol using this new structure and prove that it UC-securely realises the oblivious transfer functionality in the random-oracle-hybrid model against passive adversaries with static corruptions. Moreover, we show that it satisfies the security properties required by the compiler of D{\"o}ttling et al. (Eurocrypt 2020), achieving the first fully UC-secure two-round OT protocol based on supersingular isogenies.",

author = "\{de Saint Guilhem\}, \{Cyprien Delpech\} and Emmanuela Orsini and Christophe Petit and Smart, \{Nigel P.\}",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.; 19th International Conference on Cryptology and Network Security, CANS 2020 ; Conference date: 14-12-2020 Through 16-12-2020",

year = "2020",

month = dec,

day = "7",

doi = "10.1007/978-3-030-65411-5\_12",

language = "English",

isbn = "9783030654108",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "235--258",

editor = "Stephan Krenn and Haya Shulman and Serge Vaudenay",

booktitle = "Cryptology and Network Security",

edition = "1",

}

de Saint Guilhem, CD, Orsini, E, Petit, C & Smart, NP 2020, Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT. in S Krenn, H Shulman & S Vaudenay (eds), Cryptology and Network Security: 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings. 1 edn, Lecture Notes in Computer Science, vol. 12579, Springer, pp. 235-258, 19th International Conference on Cryptology and Network Security, CANS 2020, Vienna, Austria, 14/12/20. https://doi.org/10.1007/978-3-030-65411-5_12

Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT. / de Saint Guilhem, Cyprien Delpech; Orsini, Emmanuela; Petit, Christophe et al.
Cryptology and Network Security: 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings. ed. / Stephan Krenn; Haya Shulman; Serge Vaudenay. 1. ed. Springer, 2020. p. 235-258 (Lecture Notes in Computer Science; Vol. 12579).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Semi-commutative masking

T2 - 19th International Conference on Cryptology and Network Security, CANS 2020

AU - de Saint Guilhem, Cyprien Delpech

AU - Orsini, Emmanuela

AU - Petit, Christophe

AU - Smart, Nigel P.

PY - 2020/12/7

Y1 - 2020/12/7

N2 - We define semi-commutative invertible masking structures which aim to capture the methodology of exponentiation-only protocol design (such as discrete logarithm and isogeny-based cryptography). We give an instantiation based on the semi-commutative action of isogenies of supersingular elliptic curves, in the style of the SIDH key-exchange protocol. We then construct an oblivious transfer protocol using this new structure and prove that it UC-securely realises the oblivious transfer functionality in the random-oracle-hybrid model against passive adversaries with static corruptions. Moreover, we show that it satisfies the security properties required by the compiler of Döttling et al. (Eurocrypt 2020), achieving the first fully UC-secure two-round OT protocol based on supersingular isogenies.

AB - We define semi-commutative invertible masking structures which aim to capture the methodology of exponentiation-only protocol design (such as discrete logarithm and isogeny-based cryptography). We give an instantiation based on the semi-commutative action of isogenies of supersingular elliptic curves, in the style of the SIDH key-exchange protocol. We then construct an oblivious transfer protocol using this new structure and prove that it UC-securely realises the oblivious transfer functionality in the random-oracle-hybrid model against passive adversaries with static corruptions. Moreover, we show that it satisfies the security properties required by the compiler of Döttling et al. (Eurocrypt 2020), achieving the first fully UC-secure two-round OT protocol based on supersingular isogenies.

UR - https://www.scopus.com/pages/publications/85098245048

U2 - 10.1007/978-3-030-65411-5_12

DO - 10.1007/978-3-030-65411-5_12

M3 - Conference contribution

AN - SCOPUS:85098245048

SN - 9783030654108

T3 - Lecture Notes in Computer Science

SP - 235

EP - 258

BT - Cryptology and Network Security

A2 - Krenn, Stephan

A2 - Shulman, Haya

A2 - Vaudenay, Serge

PB - Springer

Y2 - 14 December 2020 through 16 December 2020

ER -

de Saint Guilhem CD, Orsini E, Petit C, Smart NP. Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT. In Krenn S, Shulman H, Vaudenay S, editors, Cryptology and Network Security: 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings. 1 ed. Springer. 2020. p. 235-258. (Lecture Notes in Computer Science). doi: 10.1007/978-3-030-65411-5_12

Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this