Saeid Tizpaz-Niari
Title
Cited by
Cited by
Year
Quantitative mitigation of timing side channels
S Tizpaz-Niari, P Černę, A Trivedi
International Conference on Computer Aided Verification, 140-160, 2019
102019
Data-driven debugging for functional side channels
S Tizpaz-Niari, P Cerny, A Trivedi
arXiv preprint arXiv:1808.10502, 2018
92018
Differential performance debugging with discriminant regression trees
S Tizpaz-Niari, P Cerny, BYE Chang, A Trivedi
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
82018
Discriminating traces with time
S Tizpaz-Niari, P Černę, BYE Chang, S Sankaranarayanan, A Trivedi
International Conference on Tools and Algorithms for the Construction and …, 2017
72017
Verification of OSPF vulnerabilities by colored petri net
ST Niari, AH Jahangir
Proceedings of the 6th International Conference on Security of Information …, 2013
62013
Detecting and understanding real-world differential performance bugs in machine learning libraries
S Tizpaz-Niari, P Černę, A Trivedi
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
42020
Efficient detection and quantification of timing leaks with neural networks
S Tizpaz-Niari, P Černę, S Sankaranarayanan, A Trivedi
International Conference on Runtime Verification, 329-348, 2019
42019
Quantitative estimation of side-channel leaks with neural networks
S Tizpaz-Niari, P Černę, S Sankaranarayanan, A Trivedi
International Journal on Software Tools for Technology Transfer, 1-14, 2021
12021
QFuzz: Quantitative Fuzzing for Side Channels
Y Noller, S Tizpaz-Niari
arXiv preprint arXiv:2106.03346, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9