10 citations · 12 across the 5 of their papers we have counts for
9 papers
Efficient Detection and Quantification of Timing Leaks with Neural Networks
Saeid Tizpaz-Niari, Pavol Cerny, Sriram Sankaranarayanan +1
Detection and quantification of information leaks through timing side channels are important to guarantee confidentiality. Although static analysis remains the prevalent approach f…
Quantitative Mitigation of Timing Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
Timing side channels pose a significant threat to the security and privacy of software applications. We propose an approach for mitigating this problem by decreasing the strength o…
On Timed Scope-bounded Context-sensitive Languages
Devendra. Bhave, S. N. Krishna, Ramchandra Phawade +1
In (DLT 2016) we studied timed context sensitive languages characterized by multiple stack push down automata (MPA), with an explicit bound on number of stages where in each stage…
Differential Performance Debugging with Discriminant Regression Trees
Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang +1
Differential performance debugging is a technique to find performance problems. It applies in situations where the performance of a program is (unexpectedly) different for differen…
The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems
Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi +2
A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables…
Discriminating Traces with Time
Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang +2
What properties about the internals of a program explain the possible differences in its overall running time for different inputs? In this paper, we propose a formal framework for…