Karthik Bhargavan

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Capsule Endoscopy

Cellular Automata

Top Venues

IEEE Symposium on Security and Privacy

Publications

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