Verified Indifferentiable Hashing into Elliptic Curves

DOI10.1007/978-3-642-28641-4_12zbMath1354.94021OpenAlexW3158347685MaRDI QIDQ2894324

Gilles Barthe, Santiago Zanella Béguelin, Benjamin Grégoire, Federico Olmedo, Sylvain Heraud

Publication date: 29 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28641-4_12

Mathematics Subject Classification ID

Algebraic coding theory; cryptography (number-theoretic aspects) (11T71) Cryptography (94A60)

Related Items (2)

A verified implementation of the Berlekamp-Zassenhaus factorization algorithm ⋮ Automated proof of Bell-LaPadula security properties

Uses Software

• EasyCrypt

This page was built for publication: Verified Indifferentiable Hashing into Elliptic Curves