Programming errors that degrade the performance of systems are widesprea...
Detection and quantification of information leaks through timing side
ch...
Timing side channels pose a significant threat to the security and priva...
Our aim is to statically verify that in a given reactive program, the le...
Functional side channels arise when an attacker knows that the secret va...
We introduce Conflict-Aware Replicated Data Types (CARDs). CARDs are
sig...
Differential performance debugging is a technique to find performance
pr...