@inproceedings{flowcert,
  author    = {Lin, Zhengyao and Gancher, Joshua and Parno, Bryan},
  booktitle = {Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
  month     = {October},
  title     = {FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions},
  year      = {2024}
}

@inproceedings{shake,
  author    = {Zhou, Yi and Bosamiya, Jay and Li, Jessica and Heule, Marijn and Parno, Bryan},
  booktitle = {Proceedings of the Formal Methods in Computer-Aided Design (FMCAD) Conference},
  month     = {October},
  title     = {Context Pruning for More Robust SMT-based Program Verification},
  year      = {2024}
}

@inproceedings{hypernova,
  author    = {Kothapalli, Abhiram and Setty, Srinath},
  booktitle = {Proceedings of the IACR CRYPTO Conference},
  month     = {August},
  title     = {HyperNova: Recursive Arguments for Customizable Constraint Systems},
  year      = {2024}
}

@inproceedings{kondo,
  author    = {Zhang, Tony Nuda and Hance, Travis and Chajed, Tej and Kapritsos, Manos and Parno, Bryan},
  booktitle = {Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)},
  code      = {https://github.com/GLaDOS-Michigan/Kondo-Artifact-OSDI24},
  month     = {July},
  title     = {Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs},
  year      = {2024}
}

@inproceedings{yoso-rnd,
  author    = {Liu-Zhang, Chen-Da and Masserova, Elisaweta and Ribeiro, João and Soni, Pratik and Thyagarajan, Sri AravindaKrishnan},
  booktitle = {Proceedings of the Financial Cryptography and Data Security Conference (FC)},
  month     = {March},
  title     = {Improved {YOSO} Randomness Generation with Worst-Case Corruptions},
  year      = {2024}
}

@inproceedings{galapagos,
  author    = {Zhou, Yi and Gibson, Sydney and Cai, Sarah and Winchell, Menucha and Parno, Bryan},
  booktitle = {Proceedings of the ACM Conference on Computer and Communications Security (CCS)},
  code      = {https://github.com/secure-foundations/veri-titan},
  month     = {November},
  title     = {Galápagos: Developing Verified Low-Level Cryptography on Heterogeneous Hardware},
  year      = {2023}
}

@inproceedings{leaf,
  author    = {Hance, Travis and Howell, Jon and Padon, Oded and Parno, Bryan},
  booktitle = {Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
  code      = {https://github.com/secure-foundations/leaf},
  month     = {October},
  title     = {Leaf: Modularity for Temporary Sharing in Separation Logic},
  year      = {2023}
}

@inproceedings{mariposa,
  author    = {Zhou, Yi and Bosamiya, Jay and Takashima, Yoshiki and Li, Jessica and Heule, Marijn and Parno, Bryan},
  booktitle = {Proceedings of the Formal Methods in Computer-Aided Design (FMCAD) Conference},
  code      = {https://github.com/secure-foundations/mariposa},
  month     = {October},
  title     = {Mariposa: Measuring {SMT} Instability in Automated Program Verification},
  year      = {2023}
}

@inproceedings{verus-ghost,
  author    = {Lattuada, Andrea and Hance, Travis and Cho, Chanhee and Brun, Matthias and Subasinghe, Isitha and Zhou, Yi and Howell, Jon and Parno, Bryan and Hawblitzel, Chris},
  booktitle = {Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
  code      = {https://github.com/verus-lang/verus},
  month     = {October},
  title     = {Verus: Verifying {Rust} Programs using Linear Ghost Types},
  year      = {2023}
}

@inproceedings{roks,
  author    = {Kothapalli, Abhiram and Parno, Bryan},
  booktitle = {Proceedings of the IACR CRYPTO Conference},
  month     = {August},
  title     = {Algebraic Reductions of Knowledge},
  year      = {2023}
}

@inproceedings{ironsync,
  author    = {Hance, Travis and Zhou, Yi and Lattuada, Andrea and Achermann, Reto and Conway, Alex and Stutsman, Ryan and Zellweger, Gerd and Hawblitzel, Chris and Howell, Jon and Parno, Bryan},
  booktitle = {Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)},
  code      = {https://github.com/secure-foundations/ironsync-osdi2023},
  month     = {July},
  title     = {Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems},
  year      = {2023}
}

@inproceedings{owl,
  author    = {Gancher, Joshua and Gibson, Sydney and Singh, Pratap and Dharanikota, Samvid and Parno, Bryan},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  code      = {https://github.com/secure-foundations/owl},
  month     = {May},
  title     = {Owl: Compositional Verification of Security Protocols via an Information-Flow Type System},
  year      = {2023}
}

@inproceedings{fastver2,
  author    = {Arasu, Arvind and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil and Fromherz, Aymeric and Hietala, Kesha and Parno, Bryan and Ramamurthy, Ravi},
  booktitle = {Proceedings of the ACM Conference on Certified Programs and Proofs (CPP)},
  month     = {January},
  title     = {{FastVer2}: A Provably Correct Monitor for Concurrent, Key-Value Stores},
  year      = {2023}
}

@inproceedings{mswasm,
  author    = {Michael, Alexandra E. and Gollamudi, Anitha and Bosamiya, Jay and Johnson, Evan and Denlinger, Aidan and Disselkoen, Craig and Watt, Conrad and Parno, Bryan and Patrignani, Marco and Vassena, Marco and Stefan, Deian},
  booktitle = {Proceedings of the ACM Symposium on Principles of Programming Languages (POPL)},
  code      = {https://github.com/PLSysSec/ms-wasm/tree/main},
  month     = {January},
  title     = {{MSWasm}: Soundly Enforcing Memory-Safe Execution of Unsafe Code},
  year      = {2023}
}

@inproceedings{nova,
  author    = {Kothapalli, Abhiram and Setty, Srinath and Tzialla, Ioanna},
  booktitle = {Proceedings of the IACR CRYPTO Conference},
  code      = {https://github.com/microsoft/Nova},
  month     = {August},
  title     = {Nova: Recursive Zero-Knowledge Arguments from Folding Schemes},
  year      = {2022}
}

@inproceedings{eweb,
  author    = {Goyal, Vipul and Kothapalli, Abhiram and Masserova, Elisaweta and Parno, Bryan and Song, Yifan},
  booktitle = {Proceedings of the IACR Conference on Practice and Theory of Public-Key Cryptography (PKC)},
  code      = {https://github.com/abhiramkothapalli/extweexperiments},
  month     = {March},
  title     = {Storing and Retrieving Secrets on a Blockchain},
  year      = {2022}
}

@inproceedings{verdict,
  author    = {Tzialla, Ioanna and Kothapalli, Abhiram and Parno, Bryan and Setty, Srinath},
  booktitle = {Proceedings of the ISOC Network and Distributed System Security Symposium (NDSS)},
  month     = {February},
  title     = {Transparency Dictionaries with Succinct Proofs of Correct Operation},
  year      = {2022}
}

@inproceedings{one-round-mpc,
  author    = {Goyal, Vipul and Masserova, Elisaweta and Parno, Bryan and Song, Yifan},
  booktitle = {Proceedings of the IACR Theory of Cryptography Conference (TCC)},
  month     = {November},
  title     = {Blockchains Enable Non-Interactive {MPC}},
  year      = {2021}
}

@inproceedings{steel,
  author    = {Fromherz, Aymeric and Rastogi, Aseem and Swamy, Nikhil and Gibson, Sydney and Martinez, Guido and Merigoux, Denis and Ramananandro, Tahina},
  booktitle = {Proceedings of the ACM International Conference on Functional Programming (ICFP)},
  month     = {August},
  title     = {Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic},
  year      = {2021}
}

@inproceedings{fgp,
  author    = {Fromherz, Aymeric and Leino, Klas and Fredrikson, Matt and Parno, Bryan and Pasareanu, Corina},
  booktitle = {Proceedings of the International Conference on Learning Representations (ICLR), Spotlight Presentation},
  code      = {https://github.com/klasleino/fast-geometric-projections},
  month     = {May},
  title     = {Fast Geometric Projections for Local Robustness Certification},
  year      = {2021}
}

@inproceedings{cac-sok,
  author    = {Barbosa, Manuel and Barthe, Gilles and Bhargavan, Karthik and Blanchet, Bruno and Cremers, Cas and Liao, Kevin and Parno, Bryan},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  month     = {May},
  title     = {{SoK}: Computer-Aided Cryptography},
  year      = {2021}
}

@inproceedings{quic-record,
  author    = {Delignat-Lavaud, Antoine and Fournet, Cédric and Parno, Bryan and Protzenko, Jonathan and Ramananandro, Tahina and Bosamiya, Jay and Lallemand, Joseph and Rakotonirina, Itsaka and Zhou, Yi},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  code      = {https://github.com/secure-foundations/everquic-dafny},
  month     = {May},
  title     = {A Security Model and Fully Verified Implementation for the {IETF QUIC} Record Layer},
  year      = {2021}
}

@inproceedings{herqules,
  author    = {Chen, Daming and Lim, Wen Shih and Bakhshalipour, Mohammad and Gibbons, Phillip and Hoe, James C. and Parno, Bryan},
  booktitle = {Proceedings of the ACM Conference on Architectural Support for  Programming Languages and Operating Systems (ASPLOS)},
  code      = {https://github.com/secure-foundations/herqules},
  month     = {April},
  title     = {{HerQules}: Securing Programs via Hardware-Enforced Message Queues},
  year      = {2021}
}

@inproceedings{swiss,
  author    = {Hance, Travis and Heule, Marijn and Martins, Ruben and Parno, Bryan},
  booktitle = {Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI)},
  code      = {https://github.com/secure-foundations/SWISS},
  month     = {April},
  title     = {Finding Invariants of Distributed Systems: It's a Small (Enough) World After All},
  year      = {2021}
}

@inproceedings{auditbox,
  author    = {Liu, Guyue and Sadok, Hugo and Kohlbrenner, Anne and Parno, Bryan and Sekar, Vyas and Sherry, Justine},
  booktitle = {Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI)},
  month     = {April},
  title     = {Don't Yank My Chain: Auditable {NF} Service Chaining},
  year      = {2021}
}

@inproceedings{caps,
  author    = {Matsumoto, Stephanos and Bosamiya, Jay and Dai, Yucheng and van Oorschot, Paul and Parno, Bryan},
  booktitle = {Proceedings of the ACSA Annual Computer Security Applications Conference (ACSAC)},
  code      = {https://github.com/syclops/caps},
  month     = {December},
  title     = {{CAPS}: Smoothly Transitioning to a More Resilient Web {PKI}},
  year      = {2020}
}

@inproceedings{talek,
  author    = {Cheng, Raymond and Scott, William and Masserova, Elisaweta and Zhang, Irene and Goyal, Vipul and Anderson, Thomas and Krishnamurthy, Arvind and Parno, Bryan},
  booktitle = {Proceedings of the ACSA Annual Computer Security Applications Conference (ACSAC)},
  month     = {December},
  title     = {Talek: Private Group Messaging with Hidden Access Patterns},
  year      = {2020}
}

@inproceedings{veribetrkv,
  author    = {Hance, Travis and Lattuada, Andrea and Hawblitzel, Chris and Howell, Jon and Johnson, Rob and Parno, Bryan},
  booktitle = {Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)},
  code      = {https://github.com/secure-foundations/veribetrkv-osdi2020},
  month     = {November},
  title     = {Storage Systems are Distributed Systems (So Verify Them That Way!)},
  year      = {2020}
}

@inproceedings{hacln,
  author    = {Polubelova, Marina and Bhargavan, Karthikeyan and Protzenko, Jonathan and Beurdouche, Benjamin and Fromherz, Aymeric and Kulatova, Natalia and Zanella-Béguelin, Santiago},
  booktitle = {Proceedings of the ACM Conference on Computer and Communications Security (CCS)},
  month     = {October},
  title     = {{HACL×N}: Verified Generic {SIMD} Crypto (For All Your Favorite Platforms)},
  year      = {2020}
}

@inproceedings{steelcore,
  author    = {Swamy, Nikhil and Rastogi, Aseem and Fromherz, Aymeric and Merigoux, Denis and Ahman, Danel and Martinez, Guido},
  booktitle = {Proceedings of the ACM International Conference on Functional Programming (ICFP)},
  month     = {August},
  title     = {{SteelCore}: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs},
  year      = {2020}
}

@inproceedings{transformers,
  author    = {Bosamiya, Jay and Gibson, Sydney and Li, Yao and Parno, Bryan and Hawblitzel, Chris},
  booktitle = {In Proceedings of the Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)},
  month     = {July},
  title     = {Verified Transformations and {Hoare} Logic: Beautiful Proofs for Ugly Assembly Language},
  year      = {2020}
}

@inproceedings{evercrypt,
  author    = {Protzenko, Jonathan and Parno, Bryan and Fromherz, Aymeric and Hawblitzel, Chris and Polubelova, Marina and Bhargavan, Karthikeyan and Beurdouche, Benjamin and Choi, Joonwon and Delignat-Lavaud, Antoine and Fournet, Cédric and Kulatova, Natalia and Ramananandro, Tahina and Rastogi, Aseem and Swamy, Nikhil and Wintersteiger, Christoph and Zanella-Beguelin, Santiago},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy (Oakland)},
  code      = {https://github.com/project-everest/hacl-star/tree/master/providers/evercrypt},
  month     = {May},
  title     = {{EverCrypt}: A Fast, Verified, Cross-Platform Cryptographic Provider},
  year      = {2020}
}

@inproceedings{pathfinder,
  author    = {Noller, Yannic and Păsăreanu, Corina S. and Fromherz, Aymeric and Le, Xuan-Bach D. and Visser, Willem},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  month     = {April},
  title     = {Symbolic Pathfinder for {SV-COMP} (Competition Contribution)},
  year      = {2019}
}

@inproceedings{vale-popl,
  author    = {Fromherz, Aymeric and Giannarakis, Nick and Hawblitzel, Chris and Parno, Bryan and Rastogi, Aseem and Swamy, Nikhil},
  booktitle = {Proceedings of the ACM Symposium on Principles of Programming Languages (POPL)},
  code      = {https://github.com/project-everest/vale},
  month     = {January},
  title     = {A Verified, Efficient Embedding of a Verifiable Assembly Language},
  year      = {2019}
}

@inproceedings{komodo,
  author    = {Ferraiuolo, Andrew and Baumann, Andrew and Hawblitzel, Chris and Parno, Bryan},
  booktitle = {Proceedings of the ACM Symposium on Operating Systems Principles (SOSP)},
  code      = {https://github.com/Microsoft/Komodo},
  month     = {October},
  title     = {Komodo: Using verification to disentangle secure-enclave hardware from software},
  year      = {2017}
}

@inproceedings{everest-snapl,
  author    = {Bhargavan, Karthikeyan and Bond, Barry and Delignat-Lavaud, Antoine and Fournet, Cédric and Hawblitzel, Chris and Hritcu, Catalin and Ishtiaq, Samin and Kohlweiss, Markulf and Leino, Rustan and Lorch, Jay and Maillard, Kenji and Pang, Jinyang and Parno, Bryan and Protzenko, Jonathan and Ramananandro, Tahina and Rane, Ashay and Rastogi, Aseem and Swamy, Nikhil and Thompson, Laure and Wang, Peng and Zanella-Beguelin, Santiago and Zinzindohoué, Jean-Karim},
  booktitle = {Summit on Advances in Programming Languages (SNAPL)},
  code      = {https://project-everest.github.io/},
  month     = {May},
  title     = {Everest: Towards a Verified, Drop-In Replacement of {HTTPS}},
  year      = {2017}
}

@inproceedings{hashArgue,
  author    = {Fiore, Dario and Fournet, Cédric and Ghosh, Esha and Kohlweiss, Markulf and Ohrimenko, Olya and Parno, Bryan},
  booktitle = {Proceedings of the ACM Conference on Computer and Communications Security (CCS)},
  month     = {October},
  title     = {Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data},
  year      = {2016}
}

@inproceedings{cinderella,
  author    = {Delignat-Lavaud, Antoine and Fournet, Cédric and Kohlweiss, Markulf and Parno, Bryan},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy (Oakland)},
  month     = {May},
  title     = {Cinderella: Turning Shabby {X.509} Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation},
  year      = {2016}
}

@inproceedings{hawblitzel2015ironfleet,
  author    = {Hawblitzel, Chris and Howell, Jon and Kapritsos, Manos and Lorch, Jacob R. and Parno, Bryan and Roberts, Michael L. and Setty, Srinath and Zill, Brian},
  booktitle = {Proceedings of the ACM Symposium on Operating Systems Principles (SOSP)},
  code      = {https://github.com/Microsoft/Ironclad/blob/master/ironfleet/README.md},
  month     = {October},
  title     = {{IronFleet}: Proving Practical Distributed Systems Correct},
  year      = {2015}
}

@inproceedings{costello2015geppetto,
  author    = {Costello, Craig and Fournet, Cédric and Howell, Jon and Kohlweiss, Markulf and Kreuter, Benjamin and Naehrig, Michael and Parno, Bryan and Zahur, Samee},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy (Oakland)},
  code      = {https://github.com/secure-foundations/verifiable-computation/},
  month     = {May},
  title     = {Geppetto: Versatile Verifiable Computation},
  year      = {2015}
}

@inproceedings{ironclad,
  author    = {Hawblitzel, Chris and Howell, Jon and Lorch, Jacob R. and Narayan, Arjun and Parno, Bryan and Zhang, Danfeng and Zill, Brian},
  booktitle = {Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI)},
  code      = {https://github.com/Microsoft/Ironclad/blob/master/ironclad-apps/README.md},
  month     = {October},
  title     = {Ironclad {Apps}: End-to-End Security via Automated Full-System Verification},
  year      = {2014}
}

@inproceedings{howell2013missive,
  author    = {Howell, Jon and Elson, Jeremy and Parno, Bryan and Douceur, John R.},
  booktitle = {Proceedings of the USENIX Annual Technical Conference (ATC)},
  month     = {June},
  title     = {Missive: Fast Application Launch From an Untrusted Buffer Cache},
  year      = {2014}
}

@inproceedings{permacoin2014,
  author    = {Miller, Andrew and Shi, Elaine and Juels, Ari and Parno, Bryan and Katz, Jonathan},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  month     = {May},
  title     = {Permacoin: Repurposing Bitcoin Work for Data Preservation},
  year      = {2014}
}

@inproceedings{pinocchioCoin,
  author    = {Danezis, George and Fournet, Cédric and Kohlweiss, Markulf and Parno, Bryan},
  booktitle = {ACM PETShop},
  month     = {November},
  title     = {Pinocchio Coin: Building {Zerocoin} from a Succinct Pairing-based Proof System},
  year      = {2013}
}

@inproceedings{howell2013posix,
  author    = {Howell, Jon and Parno, Bryan and Douceur, John R.},
  booktitle = {Proceedings of the USENIX Annual Technical Conference (ATC)},
  month     = {June},
  title     = {How to Run {POSIX} Apps in a Minimal Picoprocess},
  year      = {2013}
}

@inproceedings{GGPR2013,
  author    = {Gennaro, Rosario and Gentry, Craig and Parno, Bryan and Raykova, Mariana},
  booktitle = {Proceedings of the IACR EuroCrypt Conference},
  month     = {May},
  title     = {Quadratic Span Programs and Succinct {NIZKs} without {PCPs}},
  year      = {2013}
}

@inproceedings{setty13resolving,
  author    = {Setty, Srinath and Braun, Ben and Vu, Victor and Blumberg, Andrew J. and Parno, Bryan and Walfish, Michael},
  booktitle = {Proceedings of the ACM European Conference on Computer Systems (EuroSys)},
  month     = {April},
  title     = {Resolving the conflict between generality and plausibility in verified computation},
  year      = {2013}
}

@inproceedings{shroud,
  author    = {Lorch, Jacob R. \ and Parno, Bryan and Mickens, James and Raykova, Mariana and Schiffman, Joshua},
  booktitle = {Proceedings of the USENIX Conference on File and Storage Technologies (FAST)},
  month     = {February},
  title     = {Shroud: Enabling Private Access to Large-Scale Data in the Data Center},
  year      = {2013}
}

@inproceedings{lockdown,
  author    = {Vasudevan, Amit and Parno, Bryan and Qu, Ning and Gligor, Virgil D. and Perrig, Adrian},
  booktitle = {Proceedings of the Conference on Trust and Trustworthy Computing (TRUST)},
  month     = {June},
  title     = {Lockdown: A Safe and Practical Environment for Security Applications},
  year      = {2012}
}

@inproceedings{PRV12,
  author    = {Parno, Bryan and Raykova, Mariana and Vaikuntanathan, Vinod},
  booktitle = {IACR Theory of Cryptography Conference (TCC)},
  title     = {How to Delegate and Verify in Public: Verifiable Computation
from Attribute-based Encryption},
  year      = {2012}
}

@inproceedings{parno2011memoir,
  author    = {Parno, Bryan and Lorch, Jacob R. and Douceur, John R. and Mickens, James and McCune, Jonathan M.},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  day       = {22--25},
  location  = {Oakland, CA, USA},
  month     = {May},
  title     = {Memoir: Practical State Continuity for Protected Modules},
  year      = {2011}
}

@inproceedings{GGP2010,
  author    = {Gennaro, Rosario and Gentry, Craig and Parno, Bryan},
  booktitle = {Proceedings of the IACR CRYPTO Conference},
  month     = {August},
  title     = {Non-Interactive Verifiable Computation: Outsourcing Computation to Untrusted Workers},
  year      = {2010}
}

@inproceedings{PaMcPe2010,
  author    = {Parno, Bryan and McCune, Jonathan M. and Perrig, Adrian},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  day       = {16--19},
  location  = {Oakland, CA, USA},
  month     = {May},
  title     = {Bootstrapping Trust in Commodity Computers},
  year      = {2010}
}

@inproceedings{PMWAP2009,
  author    = {Parno, Bryan and McCune, Jonathan M. and Wendlandt, Dan and Andersen, David G. and Perrig, Adrian},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy},
  day       = {17--20},
  location  = {Oakland, CA, USA},
  month     = {May},
  title     = {{CLAMP}: Practical Prevention of Large-Scale Data Leaks},
  year      = {2009}
}

@inproceedings{JuPaPa2008,
  author    = {Juels, Ari and Pappu, Ravikanth and Parno, Bryan},
  booktitle = {Proceedings of the USENIX Security Symposium},
  location  = {San Jose, CA},
  month     = {July},
  title     = {Unidirectional Key Distribution Across Time and Space with
Applications to {RFID} Security},
  year      = {2008}
}

@inproceedings{MPPRS2008,
  author    = {McCune, Jonathan M. and Parno, Bryan and Perrig, Adrian and Reiter, Michael K. and Seshadri, Arvind},
  booktitle = {Proceedings of the ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)},
  day       = {1--5},
  month     = {March},
  title     = {How Low Can You Go? {Recommendations} for Hardware-Supported Minimal {TCB} Code Execution},
  year      = {2008}
}

@inproceedings{snapp,
  author    = {Parno, Bryan and Perrig, Adrian and Andersen, David},
  booktitle = {Proceedings of the ACM Symposium on Information, Computer and Communications Security (ASIACCS)},
  month     = {March},
  title     = {SNAPP: Stateless Network-Authenticated Path Pinning},
  year      = {2008}
}

@inproceedings{forgery2008,
  author    = {Acquisti, Alessandro and Christin, Nicolas and Parno, Bryan and Perrig, Adrian},
  booktitle = {Proceedings of the Financial Cryptography and Data Security Conference (FC)},
  month     = {January},
  title     = {Countermeasures against Government-Scale Monetary Forgery},
  year      = {2008}
}

@inproceedings{PWSPMH2007,
  author    = {Parno, Bryan and Wendlandt, Dan and Shi, Elaine and Perrig, Adrian and Maggs, Bruce and Hu, Yih-Chun},
  booktitle = {Proceedings of ACM SIGCOMM},
  day       = {27--31},
  month     = {August},
  title     = {Portcullis: Protecting Connection Setup from Denial-of-Capability Attacks},
  year      = {2007}
}

@inproceedings{McPaPeReSe2007,
  author    = {McCune, Jonathan M. and Parno, Bryan and Perrig, Adrian and Reiter, Michael K. and Seshadri, Arvind},
  booktitle = {Proceedings of the IEEE Symposium on Security and
Privacy},
  month     = {May},
  title     = {Minimal {TCB} Code Execution (Extended Abstract)},
  xurl      = {http://www.ece.cmu.edu/~jmmccune/papers/mccune_parno_perrig_reiter_seshadri_mintcb.pdf},
  year      = {2007}
}

@inproceedings{PaLuGaPe2006,
  author    = {Parno, Bryan and Luk, Mark and Gaustad, Evan and Perrig, Adrian},
  booktitle = {Proceedings of the Conference on Future Networking Technologies (CoNEXT)},
  day       = {4--7},
  location  = {Lisboa, Portugal},
  month     = {December},
  title     = {Secure Sensor Network Routing: A Clean-Slate Approach},
  year      = {2006}
}

@inproceedings{PaKuPe2006,
  author    = {Parno, Bryan and Kuo, Cynthia and Perrig, Adrian},
  booktitle = {Proceedings of the Financial Cryptography and Data Security Conference},
  day       = {27},
  location  = {Anguilla, British West Indies},
  month     = {February},
  title     = {Phoolproof Phishing Prevention},
  year      = {2006}
}

@inproceedings{lisa2003,
  author    = {Elprin, Nick and Parno, Bryan},
  booktitle = {Proceedings of the Large Installation Systems Administration Conference (LISA)},
  month     = {October},
  title     = {An Analysis of Database-Driven Mail Servers},
  year      = {2003}
}