B
hargav
B
hatt
E-Mails 📧
hc
.
zhte
.
fni
@
ttahb
.
vagrahb
Entries
2017
Game-based cryptography in HOL
by
Andreas Lochbihler
,
S. Reza Sefidgar
and
Bhargav Bhatt
May 05