Bryan Parno

126 papers A* 41A 8B 4Misc 5Journal 46Unranked 17
YearRankTypeTitle / Venue / Authors
2025 A* conf
AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement.
ICML
Pranjal Aggarwal, Bryan Parno, Sean Welleck
2025 A* conf
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols.
OSDI
Tony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos, Bryan Parno
2025 A conf
Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification.
CADE
Yi Zhou, Amar Shah, Zhengyao Lin, Marijn Heule, Bryan Parno
2025 A* conf
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries.
USENIX Security Symposium
Pratap Singh, Joshua Gancher, Bryan Parno
2025 J jnl
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries.
IACR Cryptol. ePrint Arch.
Pratap Singh, Joshua Gancher, Bryan Parno
2025 J jnl
Propose, Solve, Verify: Self-Play Through Formal Verification.
CoRR
Alex Wilf, Pranjal Aggarwal, Bryan Parno, Daniel Fried, Louis-Philippe Morency, Paul Pu Liang, Sean Welleck
2025 J jnl
Scaling Instruction-Selection Verification against Authoritative ISA Semantics.
Proc. ACM Program. Lang.
Michael McLoughlin, Ashley Sheng, Chris Fallin, Bryan Parno, Fraser Brown, Alexa VanHattum
2025 A* conf
TRex: Practical Type Reconstruction for Binary Code.
USENIX Security Symposium
Jay Bosamiya, Maverick Woo, Bryan Parno
2025 A* conf
Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict.
USENIX Security Symposium
Zhengyao Lin, Michael McLoughlin, Pratap Singh, Rory Brennan-Jones, Paul Hitchcox, Joshua Gancher, Bryan Parno
2025 A* conf
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.
USENIX Security Symposium
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
2024 — conf
A Framework for Debugging Automated Program Verification Proofs via Proof Actions.
CAV (1)
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
2024 J jnl
AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement.
CoRR
Pranjal Aggarwal, Bryan Parno, Sean Welleck
2024 B conf
Context Pruning for More Robust SMT-based Program Verification.
FMCAD
Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno
2024 J jnl
FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions.
Proc. ACM Program. Lang.
Zhengyao Lin, Joshua Gancher, Bryan Parno
2024 A* conf
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs.
OSDI
Tony Nuda Zhang, Travis Hance, Manos Kapritsos, Tej Chajed, Bryan Parno
2024 A* conf
Verus: A Practical Foundation for Systems Verification.
SOSP
Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno
2023 — conf
Algebraic Reductions of Knowledge.
CRYPTO (4)
Abhiram Kothapalli, Bryan Parno
2023 B conf
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.
CPP
Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
2023 A* conf
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares.
CCS
Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno
2023 J jnl
Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version).
CoRR
Travis Hance, Jon Howell, Oded Padon, Bryan Parno
2023 J jnl
Leaf: Modularity for Temporary Sharing in Separation Logic.
Proc. ACM Program. Lang.
Travis Hance, Jon Howell, Oded Padon, Bryan Parno
2023 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Proc. ACM Program. Lang.
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2023 B conf
Mariposa: Measuring SMT Instability in Automated Program Verification.
FMCAD
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
2023 Misc conf
No Root Store Left Behind.
HotNets
James Larisch, Waqar Aqeel, Taejoong Chung, Eddie Kohler, Dave Levin, Bruce M. Maggs, Bryan Parno, Christo Wilson
2023 A* conf
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.
SP
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
2023 J jnl
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System.
IACR Cryptol. ePrint Arch.
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
2023 A* conf
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
OSDI
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
2023 J jnl
Verus: Verifying Rust Programs using Linear Ghost Types (extended version).
CoRR
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
2023 J jnl
Verus: Verifying Rust Programs using Linear Ghost Types.
Proc. ACM Program. Lang.
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
2023 J jnl
WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs.
CoRR
Zhengyao Lin, Joshua Gancher, Bryan Parno
2022 J jnl
Algebraic Reductions of Knowledge.
IACR Cryptol. ePrint Arch.
Abhiram Kothapalli, Bryan Parno
2022 J jnl
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.
ACM Trans. Program. Lang. Syst.
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2022 J jnl
Degradation Attacks on Certifiably Robust Neural Networks.
Trans. Mach. Learn. Res.
Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2022 A* conf
Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies.
CCS
James Larisch, Waqar Aqeel, Michael Lum, Yaelle Goldschlag, Leah Kannan, Kasra Torshizi, Yujie Wang, Taejoong Chung, Dave Levin, Bruce M. Maggs, Alan Mislove, Bryan Parno, Christo Wilson
2022 J jnl
Linear types for large-scale systems verification.
Proc. ACM Program. Lang.
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
2022 J jnl
Logic Locking - Connecting Theory and Practice.
IACR Cryptol. ePrint Arch.
Elisaweta Masserova, Deepali Garg, Ken Mai, Lawrence T. Pileggi, Vipul Goyal, Bryan Parno
2022 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
CoRR
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2022 A* conf
Provably-Safe Multilingual Software Sandboxing using WebAssembly.
USENIX Security Symposium
Jay Bosamiya, Wen Shih Lim, Bryan Parno
2022 — conf
Self-correcting Neural Networks for Safe Classification.
NSV/FoMLAS@CAV
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2022 — conf
Storing and Retrieving Secrets on a Blockchain.
Public Key Cryptography (1)
Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song
2022 A* conf
Transparency Dictionaries with Succinct Proofs of Correct Operation.
NDSS
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty
2021 A* conf
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
SP
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2021 J jnl
Blockchains Enable Non-Interactive MPC.
IACR Cryptol. ePrint Arch.
Vipul Goyal, Elisaweta Masserova, Bryan Parno, Yifan Song
2021 — conf
Blockchains Enable Non-interactive MPC.
TCC (2)
Vipul Goyal, Elisaweta Masserova, Bryan Parno, Yifan Song
2021 Misc conf
Don't Yank My Chain: Auditable NF Service Chaining.
NSDI
Guyue Liu, Hugo Sadok, Anne Kohlbrenner, Bryan Parno, Vyas Sekar, Justine Sherry
2021 A* conf
Fast Geometric Projections for Local Robustness Certification.
ICLR
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2021 Misc conf
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All.
NSDI
Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno
2021 A* conf
HerQules: securing programs via hardware-enforced message queues.
ASPLOS
Daming D. Chen, Wen Shih Lim, Mohammad Bakhshalipour, Phillip B. Gibbons, James C. Hoe, Bryan Parno
2021 J jnl
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair.
CoRR
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2021 A* conf
SoK: Computer-Aided Cryptography.
SP
Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
2021 J jnl
Transparency Dictionaries with Succinct Proofs of Correct Operation.
IACR Cryptol. ePrint Arch.
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty
2020 J jnl
A Direct Construction for Asymptotically Optimal zkSNARKs.
IACR Cryptol. ePrint Arch.
Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno
2020 J jnl
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
IACR Cryptol. ePrint Arch.
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2020 A* conf
Armada: low-effort verification of high-performance concurrent programs.
PLDI
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2020 A conf
CAPS: Smoothly Transitioning to a More Resilient Web PKI.
ACSAC
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul C. van Oorschot, Bryan Parno
2020 A* conf
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
SP
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2020 J jnl
Fast Geometric Projections for Local Robustness Certification.
CoRR
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2020 A* conf
Storage Systems are Distributed Systems (So Verify Them That Way!).
OSDI
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
2020 J jnl
Storing and Retrieving Secrets on a Blockchain.
IACR Cryptol. ePrint Arch.
Vipul Goyal, Abhiram Kothapalli, Elisaweta Masserova, Bryan Parno, Yifan Song
2020 A conf
Talek: Private Group Messaging with Hidden Access Patterns.
ACSAC
Raymond Cheng, William Scott, Elisaweta Masserova, Irene Zhang, Vipul Goyal, Thomas E. Anderson, Arvind Krishnamurthy, Bryan Parno
2020 J jnl
Talek: Private Group Messaging with Hidden Access Patterns.
CoRR
Raymond Cheng, William Scott, Elisaweta Masserova, Irene Zhang, Vipul Goyal, Thomas E. Anderson, Arvind Krishnamurthy, Bryan Parno
2020 J jnl
Talek: Private Group Messaging with Hidden Access Patterns.
IACR Cryptol. ePrint Arch.
Raymond Cheng, William Scott, Elisaweta Masserova, Irene Zhang, Vipul Goyal, Thomas E. Anderson, Arvind Krishnamurthy, Bryan Parno
2020 — conf
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.
VSTTE
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
2019 J jnl
A verified, efficient embedding of a verifiable assembly language.
Proc. ACM Program. Lang.
Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy
2019 J jnl
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
IACR Cryptol. ePrint Arch.
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2019 J jnl
SoK: Computer-Aided Cryptography.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno
2017 — conf
Everest: Towards a Verified, Drop-in Replacement of HTTPS.
SNAPL
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean Karim Zinzindohoue
2017 J jnl
IronFleet: proving safety and liveness of practical distributed systems.
Commun. ACM
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill
2017 A* conf
Komodo: Using verification to disentangle secure-enclave hardware from software.
SOSP
Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno
2017 A* conf
Vale: Verifying High-Performance Cryptographic Assembly Code.
USENIX Security Symposium
Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson
2016 A* conf
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation.
IEEE Symposium on Security and Privacy
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
2016 A* conf
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data.
CCS
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno
2016 J jnl
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data.
IACR Cryptol. ePrint Arch.
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olga Ohrimenko, Bryan Parno
2016 J jnl
Pinocchio: nearly practical verifiable computation.
Commun. ACM
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
2015 J jnl
A Note on the Unsoundness of vnTinyRAM's SNARK.
IACR Cryptol. ePrint Arch.
Bryan Parno
2015 A* conf
Geppetto: Versatile Verifiable Computation.
IEEE Symposium on Security and Privacy
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
2015 A* conf
IronFleet: proving practical distributed systems correct.
SOSP
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill
2015 J jnl
Network Adversary Attacks against Secure Encryption Schemes.
IEICE Trans. Commun.
Virgil D. Gligor, Bryan Parno, Ji Sun Shin
2014 J jnl
Geppetto: Versatile Verifiable Computation.
IACR Cryptol. ePrint Arch.
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
2014 A* conf
Ironclad Apps: End-to-End Security via Automated Full-System Verification.
OSDI
Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
2014 — conf
Missive: Fast Application Launch From an Untrusted Buffer Cache.
USENIX ATC
Jon Howell, Jeremy Elson, Bryan Parno, John R. Douceur
2014 A* conf
Permacoin: Repurposing Bitcoin Work for Data Preservation.
IEEE Symposium on Security and Privacy
Andrew Miller, Ari Juels, Elaine Shi, Bryan Parno, Jonathan Katz
2014 — book
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers (dissertation, updated version).
Bryan Parno
2013 — ed.
CCSW'13, Proceedings of the 2013 ACM Cloud Computing Security Workshop, Co-located with CCS 2013, Berlin, Germany, November 4, 2013
CCSW
Ari Juels, Bryan Parno
2013 Misc conf
Embassies: Radically Refactoring the Web.
NSDI
Jon Howell, Bryan Parno, John R. Douceur
2013 A* conf
Fifth ACM cloud computing security workshop (CCSW 2013).
CCS
Ari Juels, Bryan Parno
2013 — conf
How to Run POSIX Apps in a Minimal Picoprocess.
USENIX ATC
Jon Howell, Bryan Parno, John R. Douceur
2013 — ed.
PETShop'13, Proceedings of the 2013 ACM Workshop on Language Support for Privacy-Enhancing Technologies, Co-located with CCS 2013, November 4, 2013, Berlin, Germany
PETShop@CCS
Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
2013 — conf
Pinocchio coin: building zerocoin from a succinct pairing-based proof system.
PETShop@CCS
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
2013 A* conf
Pinocchio: Nearly Practical Verifiable Computation.
IEEE Symposium on Security and Privacy
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
2013 J jnl
Pinocchio: Nearly Practical Verifiable Computation.
IACR Cryptol. ePrint Arch.
Bryan Parno, Craig Gentry, Jon Howell, Mariana Raykova
2013 A* conf
Quadratic Span Programs and Succinct NIZKs without PCPs.
EUROCRYPT
Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova
2013 A conf
Resolving the conflict between generality and plausibility in verified computation.
EuroSys
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
2013 A conf
Shroud: ensuring private access to large-scale data in the data center.
FAST
Jacob R. Lorch, Bryan Parno, James W. Mickens, Mariana Raykova, Joshua Schiffman
2013 J jnl
The 10-Kilobyte Web Browser.
login Usenix Mag.
Jon Howell, Bryan Parno, John R. Douceur
2013 A* conf
The first workshop on language support for privacy-enhancing technologies (PETShop'13).
CCS
Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
2012 B conf
How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption.
TCC
Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan
2012 — conf
Lockdown: Towards a Safe and Practical Architecture for Security Applications on Commodity Platforms.
TRUST
Amit Vasudevan, Bryan Parno, Ning Qu, Virgil D. Gligor, Adrian Perrig
2012 J jnl
Quadratic Span Programs and Succinct NIZKs without PCPs.
IACR Cryptol. ePrint Arch.
Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova
2012 J jnl
Resolving the conflict between generality and plausibility in verified computation.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
2012 J jnl
Toward Practical Private Access to Data Centers via Parallel ORAM.
IACR Cryptol. ePrint Arch.
Jacob R. Lorch, James W. Mickens, Bryan Parno, Mariana Raykova, Joshua Schiffman
2012 J jnl
Trust extension for commodity computers.
Commun. ACM
Bryan Parno
2012 A* conf
User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems.
IEEE Symposium on Security and Privacy
Franziska Roesner, Tadayoshi Kohno, Alexander Moshchuk, Bryan Parno, Helen J. Wang, Crispin Cowan
2011 — book
Bootstrapping Trust in Modern Computers.
Bryan Parno, Jonathan M. McCune, Adrian Perrig
2011 J jnl
How to Delegate and Verify in Public: Verifiable Computation from Attribute-based Encryption.
IACR Cryptol. ePrint Arch.
Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan
2011 A* conf
Memoir: Practical State Continuity for Protected Modules.
IEEE Symposium on Security and Privacy
Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune
2011 Misc conf
The web interface should be radically refactored.
HotNets
John R. Douceur, Jon Howell, Bryan Parno, Michael Walfish, Xi Xiong
2010 A* conf
Bootstrapping Trust in Commodity Computers.
IEEE Symposium on Security and Privacy
Bryan Parno, Jonathan M. McCune, Adrian Perrig
2010 A* conf
Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers.
CRYPTO
Rosario Gennaro, Craig Gentry, Bryan Parno
2010 — —
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers.
Bryan Parno
2009 A* conf
CLAMP: Practical Prevention of Large-Scale Data Leaks.
SP
Bryan Parno, Jonathan M. McCune, Dan Wendlandt, David G. Andersen, Adrian Perrig
2009 J jnl
Non-Interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers.
IACR Cryptol. ePrint Arch.
Rosario Gennaro, Craig Gentry, Bryan Parno
2008 — conf
Bootstrapping Trust in a "Trusted" Platform.
HotSec
Bryan Parno
2008 — conf
Countermeasures against Government-Scale Monetary Forgery.
Financial Cryptography
Alessandro Acquisti, Nicolas Christin, Bryan Parno, Adrian Perrig
2008 A conf
Flicker: an execution infrastructure for tcb minimization.
EuroSys
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Hiroshi Isozaki
2008 A* conf
How low can you go?: recommendations for hardware-supported minimal TCB code execution.
ASPLOS
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri
2008 A conf
SNAPP: stateless network-authenticated path pinning.
AsiaCCS
Bryan Parno, Adrian Perrig, Dave G. Andersen
2008 A* conf
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security.
USENIX Security Symposium
Ari Juels, Ravikanth Pappu, Bryan Parno
2008 J jnl
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security.
IACR Cryptol. ePrint Arch.
Ari Juels, Ravikanth Pappu, Bryan Parno
2007 — conf
Minimal TCB Code Execution.
S&P
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, Arvind Seshadri
2007 A* conf
Portcullis: protecting connection setup from denial-of-capability attacks.
SIGCOMM
Bryan Parno, Dan Wendlandt, Elaine Shi, Adrian Perrig, Bruce M. Maggs, Yih-Chun Hu
2006 — conf
Phoolproof Phishing Prevention.
Financial Cryptography
Bryan Parno, Cynthia Kuo, Adrian Perrig
2006 A conf
Secure sensor network routing: a clean-slate approach.
CoNEXT
Bryan Parno, Mark Luk, Evan Gaustad, Adrian Perrig
2005 — conf
Distributed Detection of Node Replication Attacks in Sensor Networks.
S&P
Bryan Parno, Adrian Perrig, Virgil D. Gligor
2004 J jnl
Defending a P2P Digital Preservation System.
IEEE Trans. Dependable Secur. Comput.
Bryan Parno, Mema Roussopoulos
2003 — conf
An Analysis of Database-Driven Mail Servers.
LISA
Nick Elprin, Bryan Parno