Tevfik Bultan, University of California, Santa Barbara

Quantifying Information Leakage Using Model Counting (abstract)
A recording of the talk can be found here

Sriram Sankaranarayanan, University of Colorado at Boulder

Probabilistic Programming: A Guide for Verificationists (abstract)
A recording of the talk can be found here