research
∙
06/03/2020
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries
Programming errors that degrade the performance of systems are widesprea...
share
research
∙
07/23/2019
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Detection and quantification of information leaks through timing side ch...
research
∙
06/21/2019
Quantitative Mitigation of Timing Side Channels
Timing side channels pose a significant threat to the security and priva...
research
∙
10/24/2018
Type-directed Bounding of Collections in Reactive Programs
Our aim is to statically verify that in a given reactive program, the le...
research
∙
08/30/2018
Data-Driven Debugging for Functional Side Channels
Functional side channels arise when an attacker knows that the secret va...
research
∙
02/23/2018
Conflict-Aware Replicated Data Types
We introduce Conflict-Aware Replicated Data Types (CARDs). CARDs are sig...
research
∙
11/11/2017
