Manuel Barbosa
SoK: Computer-Aided Cryptography
— Oakland 2021
Manuel Barbosa
,
Gilles Barthe
,
Karthik Bhargavan
,
Bruno Blanchet
,
Cas Cremers
,
Kevin Liao
,
Bryan Parno