Bryan Parno

Google Scholar
40 publications in security and cryptology related venues
Year
Venue
Title
2025
conf/uss
TRex: Practical Type Reconstruction for Binary Code.
2025
conf/uss
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.
2025
conf/uss
Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict.
2025
conf/uss
OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries.
2022
conf/uss
Provably-Safe Multilingual Software Sandboxing using WebAssembly.
2022
conf/ndss
Transparency Dictionaries with Succinct Proofs of Correct Operation.
2017
conf/uss
Vale: Verifying High-Performance Cryptographic Assembly Code.
2008
conf/uss
Unidirectional Key Distribution Across Time and Space with Applications to RFID Security.
2008
conf/uss
Bootstrapping Trust in a "Trusted" Platform.
Bryan Parno

Coauthors

Abhiram Kothapalli (3)
Adrian Perrig (7)
Alan Mislove (1)
Alessandro Acquisti (1)
Alexander Moshchuk (1)
Andreas Holzer (1)
Andrew Miller (1)
Antoine Delignat-Lavaud (3)
Ari Juels (3)
Arvind Krishnamurthy (1)
Arvind Seshadri (1)
Aseem Rastogi (1)
Ashay Rane (1)
Aymeric Fromherz (1)
Barry Bond (1)
Benjamin Beurdouche (1)
Benjamin Kreuter (1)
Bruce M. Maggs (1)
Bruno Blanchet (1)
Bryan Parno (40)
Cas Cremers (1)
Cédric Fournet (6)
Chris Hawblitzel (2)
Christo Wilson (1)
Christoph M. Wintersteiger (1)
Craig Costello (1)
Craig Gentry (3)
Crispin Cowan (1)
Cynthia Kuo (1)
Dan Wendlandt (1)
Dario Fiore (1)
Dave G. Andersen (1)
Dave Levin (1)
David G. Andersen (1)
Elaine Shi (1)
Elisaweta Masserova (3)
Esha Ghosh (1)
Franziska Roesner (1)
George Danezis (1)
Gilles Barthe (1)
Helen J. Wang (1)
Helmut Veith (1)
Ioanna Tzialla (1)
Irene Zhang (1)
Itsaka Rakotonirina (1)
Jacob R. Lorch (2)
James Larisch (1)
James W. Mickens (1)
Jay Bosamiya (5)
John R. Douceur (1)
Jon Howell (2)
Jonathan Katz (1)
Jonathan M. McCune (4)
Jonathan Protzenko (2)
Joonwon Choi (1)
Joseph Lallemand (1)
Joshua Gancher (4)
K. Rustan M. Leino (1)
Karthik Bhargavan (1)
Karthikeyan Bhargavan (1)
Kasra Torshizi (1)
Kevin Liao (1)
Laure Thompson (1)
Leah Kannan (1)
Manos Kapritsos (1)
Manuel Barbosa (1)
Mariana Raykova (3)
Marina Polubelova (1)
Markulf Kohlweiss (4)
Martin Franz (1)
Maverick Woo (1)
Menucha Winchell (1)
Michael K. Reiter (1)
Michael Lum (1)
Michael McLoughlin (1)
Michael Naehrig (1)
Milijana Surbatovich (1)
Natalia Kulatova (1)
Nicolas Christin (1)
Nikhil Swamy (1)
Olga Ohrimenko (1)
Paul C. van Oorschot (1)
Paul Hitchcox (1)
Pratap Singh (4)
Ravikanth Pappu (1)
Raymond Cheng (1)
Rory Brennan-Jones (1)
Rosario Gennaro (2)
Rupak Majumdar (1)
Samee Zahur (1)
Samvid Dharanikota (1)
Santiago Zanella-Béguelin (1)
Sarah Cai (1)
Srinath T. V. Setty (2)
Stephanos Matsumoto (1)
Sydney Gibson (2)
Tadayoshi Kohno (1)
Taejoong Chung (1)
Tahina Ramananandro (2)
Thomas E. Anderson (1)
Vinod Vaikuntanathan (1)
Vipul Goyal (3)
Virgil D. Gligor (1)
Waqar Aqeel (1)
Wen Shih Lim (1)
William Scott (1)
Yaelle Goldschlag (1)
Yi Cai (1)
Yi Zhou (2)
Yifan Song (2)
Yucheng Dai (1)
Yujie Wang (1)
Zhengyao Lin (2)
Filters
Years:  to