Saeid Tizpaz-Niari
Saeid Tizpaz-Niari
Assistant Professor, University of Texas at El Paso
Verified email at utep.edu - Homepage
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
72019
Data-driven debugging for functional side channels
S Tizpaz-Niari, P Cerny, A Trivedi
arXiv preprint arXiv:1808.10502, 2018
72018
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
72018
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
32020
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
32019
The system can't perform the operation now. Try again later.
Articles 1–7