Today's Video

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