SoK: Computer-Aided Cryptography

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]

Authors

Manuel Barbosa

This author has not been identified. It may be one of the following persons: Look up 'Manuel Barbosa' in Google

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Karthik Bhargavan

This author has not been identified. Look up 'Karthik Bhargavan' in Google

Bruno Blanchet

This author has not been identified. Look up 'Bruno Blanchet' in Google

Cas Cremers

This author has not been identified. Look up 'Cas Cremers' in Google

Kevin Liao

This author has not been identified. Look up 'Kevin Liao' in Google

Bryan Parno

This author has not been identified. Look up 'Bryan Parno' in Google