Tevfik Bultan, University of California, Santa Barbara
Quantifying Information Leakage Using Model Counting (abstract)
A recording of the talk can be found here
![](http://i-cav.org/2020/wp-content/uploads/2019/09/TevfikBultan-882x1024.jpg)
Sriram Sankaranarayanan, University of Colorado at Boulder
Probabilistic Programming: A Guide for Verificationists (abstract)
A recording of the talk can be found here
![](http://i-cav.org/2020/wp-content/uploads/2019/09/sxrxixrxaxm.jpg)