Designing and building provably secure systems

Bryan Parno of Carnegie Mellon University investigates long-term, fundamental improvements in how to design and build secure systems. As a result, his work combines theory and practice to provide formal, rigorous security guarantees about concrete systems, with an emphasis on creating solid foundations for practical solutions.

Provided by Carnegie Mellon University

Runtime: 2:21

Get Science360's video of the day in your mailbox each weekday.

Sign up now!
» More videos about Technology & Engineering