Contact

  •    firstname <at> institution <dot> edu
  •    office: 412-268-2033
  •    CIC 2121
  •    bparno
  •    parno
  •    Collaborative Innovation Center
            4720 Forbes Avenue
            Pittsburgh, PA 15213-3891

News

  • Press
    Quanta Magazine Article
    September 20, 2016 - A nice overview article covering recent progress in verification.
  • Invited Talk
    Formal Methods for Security (FMS) Workshop
    February 2, 2016 – I’ve been invited to give a talk at the Formal Methods for Security (FMS) Workshop, which is co-located with PLDI in June. Please consider attending!.
  • Invited Talk
    Layered Assurance Workshop
    December 15, 2015 – I’ve been invited to give a talk at the Layered Assurance Workshop in Los Angeles, on December 5-6, 2016. Please consider attending!
  • Invited Talk
    Stanford Security Seminar
    December 10, 2015 - I gave a talk at the Stanford Security Seminar.
  • Code
    Source code for IronFleet released
    October 4, 2015 – The source code for IronFleet, our system for verifying the safety and liveness of complex distributed systems, is now on GitHub.
  • Invited Talk
    Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
    September 9, 2015 – I’ve been invited to give a talk at the Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) in January. I’ll be discussing our Ironclad project and some of the interesting research questions we’ve uncovered in trying to verify large, complex systems. Please consider attending!
  • Code
    Source code for Geppetto released
    July 22, 2015 – The source code for Geppetto, our system for improving the versatility and performance of verifiable computations, is now online.
  • Publication
    New Book: Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
    July 24, 2014 – ACM published my book, Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers, as part of their new ACM Books series.
  • Award
    Best Paper Award at the IEEE Symposium on Security and Privacy
    May 21, 2013 – Our paper, Pinocchio: Nearly Practical Verifiable Computation, received the Best Paper Award at the IEEE Symposium on Security and Privacy.
  • Award
    Best Paper Award at the USENIX Symposium on Networked Systems Design and Implementation (NSDI)
    April 3, 2013 – Our paper, Embassies: Radically Refactoring the Web, received the Best Paper Award at the USENIX Symposium on Networked Systems Design and Implementation (NSDI).
  • Invited Talk
    Conference on Applied Cryptography and Network Security (ACNS)
    March 12, 2013 – I’ll be giving a plenary talk at Conference on Applied Cryptography and Network Security (ACNS) this summer — please consider attending.
  • Award
    Best Paper Award at the IEEE Symposium on Security and Privacy
    May 22, 2012 – Our paper, User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems, received the Best Practical Paper Award at the IEEE Symposium on Security and Privacy.
  • Award
    Forbes 30-Under-30
    December 19, 2011 – I was selected for Forbes’ 30-Under-30: Science list.
  • Publication
    New Book: Bootstrapping Trust in Modern Computers
    August 30, 2011 – Our book, Bootstrapping Trust in Modern Computers, has been published. It can be purchased from Springer or Amazon.
  • Award
    ACM Doctoral Dissertation Award
    May 11, 2011 – My dissertation won the 2010 ACM Doctoral Dissertation Award!