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 Fri Apr 3 10:46:40 2026 CEST.