45 citations · 71 across the 24 of their papers we have counts for
4 papers · 1 filter
Secure-by-Construction Synthesis of Cyber-Physical Systems
Siyuan Liu, Ashutosh Trivedi, Xiang Yin +1
Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and control theory towards designing safety-critical systems. Instead of following the time-t…
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…
Data-Driven Debugging for Functional Side Channels
Saeid Tizpaz-Niari, Pavol Cerny, Ashutosh Trivedi
Information leaks through side channels are a pervasive problem, even in security-critical applications. Functional side channels arise when an attacker knows that a secret value o…