no code implementations • 23 Jul 2019 • Saeid Tizpaz-Niari, Pavol Cerny, Sriram Sankaranarayanan, Ashutosh Trivedi
As demonstrated in our experiments, both of these tasks are feasible in practice --- making the approach a significant improvement over the state-of-the-art side channel detectors and quantifiers.
no code implementations • 21 Jun 2019 • Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
In contrast to the existing mitigation approaches, we show that in the functional-observation threat model, SCHMIT is scalable and able to maximize confidentiality under the performance overhead bound.
no code implementations • 30 Aug 2018 • Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
On the realistic programs, we show the scalability of FUCHSIA in analyzing functional side channels in Java programs with thousands of methods.
no code implementations • 11 Nov 2017 • Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang, Ashutosh Trivedi
We propose a data-driven technique based on discriminant regression tree (DRT) learning problem where the goal is to discriminate among different classes of inputs.
no code implementations • 23 Feb 2017 • Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
What properties about the internals of a program explain the possible differences in its overall running time for different inputs?