Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno. SoK: Computer-Aided Cryptography. In 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021. pages 777-795, IEEE, 2021. [doi]
@inproceedings{BarbosaBBBCLP21,
title = {SoK: Computer-Aided Cryptography},
author = {Manuel Barbosa and Gilles Barthe and Karthik Bhargavan and Bruno Blanchet and Cas Cremers and Kevin Liao and Bryan Parno},
year = {2021},
doi = {10.1109/SP40001.2021.00008},
url = {https://doi.org/10.1109/SP40001.2021.00008},
researchr = {https://researchr.org/publication/BarbosaBBBCLP21},
cites = {0},
citedby = {0},
pages = {777-795},
booktitle = {42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021},
publisher = {IEEE},
isbn = {978-1-7281-8934-5},
}