Number of items: 1.
Barbosa, Manuel and Barthe, Gilles and Bhargavan, Karthik and Blanchet, Bruno and Cremers, Cas and Liao, Kevin and Parno, Brian
(2021)
SoK: Computer-Aided Cryptography.
(In Press)
This list was generated on Sun Dec 22 04:05:09 2024 CET.