Probabilistic Programming

February 13, 2017

Probabilistic programming refers to the idea of using standard programming constructs for specifying probabilistic models and employing generic inference algorithms...

[ Read More ]

Talk by Goran Doychev: Rigorous Analysis of Software Countermeasures against Cache Attacks

February 7, 2017

CPU caches introduce variations into the execution time of programs that can be exploited by adversaries to recover private information...

[ Read More ]

Rigorous Analysis of Software Countermeasures against Cache Attacks

February 7, 2017

CPU caches introduce variations into the execution time of programs that can be exploited by adversaries to recover private information...

[ Read More ]