SoK: Computer-Aided Cryptography | Publicación