Saeid Tizpaz-Niari
Title
Cited by
Cited by
Year
Differential performance debugging with discriminant regression trees
S Tizpaz-Niari, P Cerny, BYE Chang, A Trivedi
arXiv preprint arXiv:1711.04076, 2017
52017
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
52017
Verification of OSPF vulnerabilities by colored Petri net
ST Niari, AH Jahangir
Proceedings of the 6th International Conference on Security of Information …, 2013
52013
Data-driven debugging for functional side channels
S Tizpaz-Niari, P Cerny, A Trivedi
arXiv preprint arXiv:1808.10502, 2018
42018
Quantitative mitigation of timing side channels
S Tizpaz-Niari, P Černý, A Trivedi
International Conference on Computer Aided Verification, 140-160, 2019
22019
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
12019
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries
S Tizpaz-Niari, P Cerný, A Trivedi
arXiv preprint arXiv:2006.01991, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–7