Faculty

Institution

Unit

Venue

Bryan Parno

Kavcic-Moura Professor Kavčíć-Moura Professor of Electrical and Computer Engineering and Professor of Computer Science

Carnegie Mellon University

Affiliations

College of Engineering

Electrical & Computer Engineering

Bryan Parno is currently serving as a College Of Engineering Kavcic-Moura Professor Kavčíć-Moura Professor of Electrical and Computer Engineering and Professor of Computer Science at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Bryan Parno

Carnegie Mellon University

Kavcic-Moura Professor Kavčíć-Moura Professor of Electrical and Computer Engineering and Professor of Computer Science

You can click a keyword to filter the displayed items

computer science computer security information security formal verification data security formal methods communication security verification systems engineering cryptography software analysis system software information technology data privacy logic in computer science technology trust machine learning network security software security networked system design communication blockchain operating system security denial-of-service attacks programming language theory financial cryptography world wide web human-computer interaction access control cryptographic technology security applications verifiable computation commodity computers mobile computing cryptocurrency trusted operating system internet security trusted platform computational trust software certification trustworthy host-based information quadratic span programs wireless communications machine learning research data outsourcing wireless security automotive security blockchain consensus protocol logical access control phishing web architecture practical environment vehicular networks user-driven access control databases mobile security blockchain protocols authentication access control information security management data protection network routing routing protocols code validation hash functions perceptual hashing network management advanced networking non-interactive verifiable computing untrusted workers practical verifiable computation node replication attacks attribute-based encryption bitcoin work bit coin random access cyber security engineering cloud security hardware security

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

CAZAMARIPOSAS: Automated Instability Debugging in Smt-Based Program Verification. Lecture notes in computer science (2025)

software analysisprogram checkingverificationsoftware verificationinstability debuggingprogram analysisformal methodsformal verificationsystem softwarecomputer science

A Framework for Debugging Automated Program Verification Proofs via Proof Actions. Lecture notes in computer science (2024)

Chanhee ChoYi ZhouJay BosamiyaBryan Parno

program checkingverificationautomated proofprogram analysisproof actionsprogram verification proofssoftware verificationcomputer scienceautomated reasoning

FLOWCERT: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions. Proceedings of the ACM on Programming Languages (2024)

Zhengyao LinJoshua GancherBryan Parno

dynamic fractional permissionsprogramming language theorytranslation validationdata flowsprogramming languagescomputer science

VERUS: A Practical Foundation for Systems Verification. (2024)

Andrea LattuadaTravis HanceJay BosamiyaMatthias BrunChanhee ChoHayley LeBlancPranav SrinivasanReto AchermannTej ChajedChris HawblitzelJon HowellJacob R. LorchOded PadonBryan Parno

systems engineeringpractical foundationverificationverification and validationsystems verification

Algebraic Reductions of Knowledge. Lecture notes in computer science (2023)

Abhiram KothapalliBryan Parno

theoretical computer sciencecomputer sciencealgebraic reductions

FASTVER2: A Provably Correct Monitor for Concurrent, Key-Value Stores. (2023)

Arvind ArasuTahina RamananandroAseem RastogiNikhil SwamyAymeric FromherzKesha HietalaBryan ParnoRavi Ramamurthy

concurrency controlconcurrency theorycomputer securitycomputer sciencekey-value storesconcurrent systems

GALÁPAGOS: Developing Verified Low Level Cryptography on Heterogeneous Hardwares. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (2023)

Yi ZhouSydney GibsonSarah CaiMenucha WinchellBryan Parno

computer engineeringheterogeneous hardwarescryptography

LEAF: Modularity for Temporary Sharing in Separation Logic. Proceedings of the ACM on Programming Languages (2023)

Travis HanceJon HowellOded PadonBryan Parno

separation logicprogramming language theorytemporary sharingnatural language processingprogramming languagescomputer scienceprogramming language design

LEAF: Modularity for Temporary Sharing in Separation Logic (Extended Version). arXiv (Cornell University) (2023)

Hance, TravisHowell, JonPadon, OdedParno, Bryan

computer scienceinternet of thingsseparation logictemporary sharing

MSWASM: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proceedings of the ACM on Programming Languages (2023)

Alexandra E. MichaelAnitha GollamudiJay BosamiyaEvan JohnsonAidan DenlingerCraig DisselkoenConrad WattBryan ParnoMarco PatrignaniMarco VassenaDeian Stefan

communication securitymemory-safe executioncomputer securitysoftware securityinformation securitycomputer scienceunsafe code

1
2
3
4
5
26
10 / page

Bryan Parno

Kavcic-Moura Professor Kavčíć-Moura Professor of Electrical and Computer Engineering and Professor of Computer Science

Carnegie Mellon University

Affiliations

College of Engineering

Electrical & Computer Engineering

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Bryan Parno

Carnegie Mellon University

Kavcic-Moura Professor Kavčíć-Moura Professor of Electrical and Computer Engineering and Professor of Computer Science

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

CAZAMARIPOSAS: Automated Instability Debugging in Smt-Based Program Verification. Lecture notes in computer science (2025)

software analysisprogram checkingverificationsoftware verificationinstability debuggingprogram analysisformal methodsformal verificationsystem softwarecomputer science

A Framework for Debugging Automated Program Verification Proofs via Proof Actions. Lecture notes in computer science (2024)

Chanhee ChoYi ZhouJay BosamiyaBryan Parno

program checkingverificationautomated proofprogram analysisproof actionsprogram verification proofssoftware verificationcomputer scienceautomated reasoning

FLOWCERT: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions. Proceedings of the ACM on Programming Languages (2024)

Zhengyao LinJoshua GancherBryan Parno

dynamic fractional permissionsprogramming language theorytranslation validationdata flowsprogramming languagescomputer science

VERUS: A Practical Foundation for Systems Verification. (2024)

Andrea LattuadaTravis HanceJay BosamiyaMatthias BrunChanhee ChoHayley LeBlancPranav SrinivasanReto AchermannTej ChajedChris HawblitzelJon HowellJacob R. LorchOded PadonBryan Parno

systems engineeringpractical foundationverificationverification and validationsystems verification

Algebraic Reductions of Knowledge. Lecture notes in computer science (2023)

Abhiram KothapalliBryan Parno

theoretical computer sciencecomputer sciencealgebraic reductions

FASTVER2: A Provably Correct Monitor for Concurrent, Key-Value Stores. (2023)

Arvind ArasuTahina RamananandroAseem RastogiNikhil SwamyAymeric FromherzKesha HietalaBryan ParnoRavi Ramamurthy

concurrency controlconcurrency theorycomputer securitycomputer sciencekey-value storesconcurrent systems

GALÁPAGOS: Developing Verified Low Level Cryptography on Heterogeneous Hardwares. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (2023)

Yi ZhouSydney GibsonSarah CaiMenucha WinchellBryan Parno

computer engineeringheterogeneous hardwarescryptography

LEAF: Modularity for Temporary Sharing in Separation Logic. Proceedings of the ACM on Programming Languages (2023)

Travis HanceJon HowellOded PadonBryan Parno

separation logicprogramming language theorytemporary sharingnatural language processingprogramming languagescomputer scienceprogramming language design

LEAF: Modularity for Temporary Sharing in Separation Logic (Extended Version). arXiv (Cornell University) (2023)

Hance, TravisHowell, JonPadon, OdedParno, Bryan

computer scienceinternet of thingsseparation logictemporary sharing

MSWASM: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proceedings of the ACM on Programming Languages (2023)

Alexandra E. MichaelAnitha GollamudiJay BosamiyaEvan JohnsonAidan DenlingerCraig DisselkoenConrad WattBryan ParnoMarco PatrignaniMarco VassenaDeian Stefan

communication securitymemory-safe executioncomputer securitysoftware securityinformation securitycomputer scienceunsafe code

1
2
3
4
5
26
10 / page

Similar Faculty Members

Virgil Gligor

Institution

Carnegie Mellon University

electricity generation

transmission

Andrew Edmund Miller

Institution

University of Illinois Urbana-Champaign

protocol compliance

software engineering

Nikita Borisov

Institution

University of Illinois Urbana-Champaign

peer-to-peer database

privacy-preserving communication

Elaine Shi

Institution

Carnegie Mellon University

computational intelligence

ai safety

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

David Malcolm Nicol

Institution

University of Illinois Urbana-Champaign

communication security

civil engineering

Carl Gunter

Institution

University of Illinois Urbana-Champaign

communication security

control system security

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Attila A. Yavuz

Institution

University of South Florida

blockchain

information security

Vyas Sekar

Institution

Carnegie Mellon University

content/video delivery systems

communication security

Similar Faculty Members

Virgil Gligor

Institution

Carnegie Mellon University

electricity generation

transmission

Andrew Edmund Miller

Institution

University of Illinois Urbana-Champaign

protocol compliance

software engineering

Nikita Borisov

Institution

University of Illinois Urbana-Champaign

peer-to-peer database

privacy-preserving communication

Elaine Shi

Institution

Carnegie Mellon University

computational intelligence

ai safety

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

David Malcolm Nicol

Institution

University of Illinois Urbana-Champaign

communication security

civil engineering

Carl Gunter

Institution

University of Illinois Urbana-Champaign

communication security

control system security

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Attila A. Yavuz

Institution

University of South Florida

blockchain

information security

Vyas Sekar

Institution

Carnegie Mellon University

content/video delivery systems

communication security