cispa_all_3415.pdf (310.35 kB)

SoK: Computer-Aided Cryptography

Download (310.35 kB)
conference contribution
posted on 2023-11-29, 18:16 authored by Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas CremersCas Cremers, Kevin Liao, Brian Parno
Computer-aided cryptography is an active area of research that develops and applies formal, machine-checkable approaches to the design, analysis, and implementation of cryptography. We present a cross-cutting systematization of the computer-aided cryptography literature, focusing on three main areas: (i) design-level security (both symbolic security and computational security), (ii) functional correctness and efficiency,and (iii) implementation-level security (with a focus on digital side-channel resistance). In each area, we first clarify the role of computer-aided cryptography—how it can help and what the caveats are—in addressing current challenges. We next present a taxonomy of state-of-the-art tools, comparing their accuracy,scope, trustworthiness, and usability. Then, we highlight their main achievements, trade-offs, and research challenges. After covering the three main areas, we present two case studies. First, we study efforts in combining tools focused on different areas to consolidate the guarantees they can provide. Second, we distill the lessons learned from the computer-aided cryptography community’s involvement in the TLS 1.3 standardization effort.Finally, we conclude with recommendations to paper authors,tool developers, and standardization bodies moving forward.


Preferred Citation

Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao and Brian Parno. SoK: Computer-Aided Cryptography. In: IEEE Symposium on Security and Privacy (S&P). 2021.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

IEEE Symposium on Security and Privacy (S&P)

Legacy Posted Date


Open Access Type

  • Unknown


@inproceedings{cispa_all_3415, title = "SoK: Computer-Aided Cryptography", author = "Barbosa, Manuel and Barthe, Gilles and Bhargavan, Karthik and Blanchet, Bruno and Cremers, Cas and Liao, Kevin and Parno, Brian", booktitle="{IEEE Symposium on Security and Privacy (S&P)}", year="2021", }

Usage metrics


    No categories selected


    Ref. manager