Bryan Parno

Cited by

	All	Since 2018
Citations	12683	6101
h-index	41	34
i10-index	70	60

1200

600

300

900

20062007200820092010201120122013201420152016201720182019202020212022202350 124 190 267 326 423 523 675 792 832 1036 1012 1102 1087 1121 1177 1181 432

Public access

View all

28 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Adrian PerrigProfessor of Computer Science at ETH Zürich, Adjunct Professor of ECE at CMU, Cylab FellowVerified email at inf.ethz.ch
Jonathan McCuneGoogle IncVerified email at google.com
Mariana RaykovaGoogleVerified email at cs.columbia.edu
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Srinath SettyPrincipal Researcher at Microsoft ResearchVerified email at microsoft.com
Rosario GennaroProfessor of Computer Science, City College of New YorkVerified email at cs.ccny.cuny.edu
Markulf KohlweissUniveristy of EdinburghVerified email at ed.ac.uk
Manos KapritsosAssistant Professor, University of MichiganVerified email at umich.edu
Elaine ShiCarnegie Mellon UniversityVerified email at cs.cmu.edu
Ari JuelsProfessor, Computer Science, Cornell Tech (Jacobs); Co-Director, IC3Verified email at cornell.edu
Helen J. WangPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
James MickensHarvard UniversityVerified email at g.harvard.edu
Bruce MaggsProfessor of Computer Science, Duke UniversityVerified email at cs.duke.edu
Antoine Delignat-LavaudMicrosoft ResearchVerified email at microsoft.com
Tadayoshi KohnoProfessor, Paul G. Allen School of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Franziska RoesnerAssociate Professor, Paul G. Allen School of Computer Science & Engineering, Univ. of WashingtonVerified email at cs.washington.edu
Alexander MoshchukSoftware Engineer, GoogleVerified email at google.com
Yih-Chun HuAssociate Professor of Electrical and Computer Engineering, University of IllinoisVerified email at illinois.edu
Andrew MillerUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Jonathan KatzProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu

Bryan Parno

Carnegie Mellon University

Verified email at cmu.edu - Homepage

Computer Security Privacy Systems Cryptography Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Non-interactive verifiable computing: Outsourcing computation to untrusted workers R Gennaro, C Gentry, B Parno Advances in Cryptology–CRYPTO 2010: 30th Annual Cryptology Conference, Santa …, 2010	1370	2010
Pinocchio: Nearly practical verifiable computation B Parno, J Howell, C Gentry, M Raykova Communications of the ACM 59 (2), 103-112, 2016	1176	2016
Flicker: An execution infrastructure for TCB minimization JM McCune, BJ Parno, A Perrig, MK Reiter, H Isozaki Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer …, 2008	986	2008
Distributed detection of node replication attacks in sensor networks B Parno, A Perrig, V Gligor 2005 IEEE symposium on security and privacy (S&P'05), 49-63, 2005	962	2005
Quadratic span programs and succinct NIZKs without PCPs R Gennaro, C Gentry, B Parno, M Raykova Advances in Cryptology–EUROCRYPT 2013: 32nd Annual International Conference …, 2013	853	2013
Challenges in securing vehicular networks B Parno, A Perrig Workshop on hot topics in networks (HotNets-IV), 1-6, 2005	708	2005
Securing anti-virus software with virtualization JH Wang, JR Lorch, BJ Parno US Patent 8,307,443, 2012	440	2012
How to delegate and verify in public: Verifiable computation from attribute-based encryption B Parno, M Raykova, V Vaikuntanathan Theory of Cryptography: 9th Theory of Cryptography Conference, TCC 2012 …, 2012	434	2012
Permacoin: Repurposing bitcoin work for data preservation A Miller, A Juels, E Shi, B Parno, J Katz 2014 IEEE Symposium on Security and Privacy, 475-490, 2014	386	2014
IronFleet: proving practical distributed systems correct C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ... Proceedings of the 25th Symposium on Operating Systems Principles, 1-17, 2015	379	2015
Phoolproof phishing prevention B Parno, C Kuo, A Perrig Financial Cryptography 4107, 1-19, 2006	324	2006
User-driven access control: Rethinking permission granting in modern operating systems F Roesner, T Kohno, A Moshchuk, B Parno, HJ Wang, C Cowan 2012 IEEE Symposium on Security and Privacy, 224-238, 2012	300	2012
Portcullis: Protecting connection setup from denial-of-capability attacks B Parno, D Wendlandt, E Shi, A Perrig, B Maggs, YC Hu ACM SIGCOMM Computer Communication Review 37 (4), 289-300, 2007	284	2007
Geppetto: Versatile verifiable computation C Costello, C Fournet, J Howell, M Kohlweiss, B Kreuter, M Naehrig, ... 2015 IEEE Symposium on Security and Privacy, 253-270, 2015	261	2015
Ironclad apps: End-to-end security via automated full-system verification C Hawblitzel, J Howell, JR Lorch, A Narayan, B Parno, D Zhang, B Zill 11th {USENIX} Symposium on Operating Systems Design and Implementation …, 2014	254	2014
Bootstrapping trust in commodity computers B Parno, JM McCune, A Perrig 2010 IEEE Symposium on Security and Privacy, 414-429, 2010	213	2010
Bootstrapping Trust in a "Trusted" Platform. B Parno HotSec, 2008	175	2008
Komodo: Using verification to disentangle secure-enclave hardware from software A Ferraiuolo, A Baumann, C Hawblitzel, B Parno Proceedings of the 26th Symposium on Operating Systems Principles, 287-305, 2017	164	2017
Resolving the conflict between generality and plausibility in verified computation S Setty, B Braun, V Vu, AJ Blumberg, B Parno, M Walfish Proceedings of the 8th ACM European Conference on Computer Systems, 71-84, 2013	155	2013
Vale: Verifying High-Performance Cryptographic Assembly Code. B Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ... USENIX Security Symposium 152, 2017	152	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors