Parno, Bryan

Pinocchio: Nearly Practical Verifiable Computation

Parno, B., Howell, J., Gentry, C., & Raykova, M. (2013) · 2013 IEEE Symposium on Security and Privacy

Cryptography and Data SecurityCloud Data Security Solutions

Cited by 864

SoK: Computer-Aided Cryptography

Barbosa, M., Barthe, G., Bhargavan, K., Blanchet, B., Cremers, C., Liao, K., & Parno, B. (2021) · 2021 IEEE Symposium on Security and Privacy (SP)

Cryptographic Implementations and SecurityCryptography and Data Security

Cited by 143

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement

Aggarwal, P., Parno, B., & Welleck, S. (2024) · arXiv

Logic, programming, and type systemsSoftware Engineering Research

Cited by 4