## 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