Formal security proof for a scheme on a topological network

DOI10.3934/AMC.2021009zbMath1517.94084OpenAlexW3139899761MaRDI QIDQ6112255

Roberto Civino, Riccardo Longo

Publication date: 7 July 2023

Published in: Advances in Mathematics of Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3934/amc.2021009

zbMATH Keywords

discrete logarithm problemelliptic curve cryptographykey recoverykey indistinguishabilitykey establishment protocolsformal security

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25) Elliptic curves (14H52) Applications of graph theory to circuits and networks (94C15) Authentication, digital signatures and secret sharing (94A62) Elliptic curves over local fields (11G07)

Cites Work

• Unnamed Item
• The Arithmetic of Elliptic Curves
• New directions in cryptography
• An authenticated key scheme over elliptic curves for topological networks

This page was built for publication: Formal security proof for a scheme on a topological network