SoK: Computer-Aided Cryptography.

Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno

Browse the full SP paper archive.