C
rypt
H
O
L
Dependents
2023
CRYSTALS-Kyber_Security
by
Katharina Kreuzer
Dec 18
ABY3 Multiplication and Array Shuffling
by
Shuwei Hu
Jan 27
2019
Sigma Protocols and Commitment Schemes
by
David Butler
and
Andreas Lochbihler
Oct 07
2018
Constructive Cryptography in HOL
by
Andreas Lochbihler
and
S. Reza Sefidgar
Dec 17
2017
Game-based cryptography in HOL
by
Andreas Lochbihler
,
S. Reza Sefidgar
and
Bhargav Bhatt
May 05