Saeid Tizpaz-Niari
Saeid Tizpaz-Niari
PhD Candidate, CU Boulder
Verified email at colorado.edu - Homepage
TitleCited byYear
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
42017
Differential performance debugging with discriminant regression trees
S Tizpaz-Niari, P Cerny, BYE Chang, A Trivedi
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
32018
Verification of OSPF vulnerabilities by colored petri net
ST Niari, AH Jahangir
Proceedings of the 6th International Conference on Security of Information …, 2013
32013
Data-Driven Debugging for Functional Side Channels
S Tizpaz-Niari, P Cerny, A Trivedi
arXiv preprint arXiv:1808.10502, 2018
22018
Quantitative Mitigation of Timing Side Channels
S Tizpaz-Niari, P Cerny, A Trivedi
arXiv preprint arXiv:1906.08957, 2019
12019
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
2019
The system can't perform the operation now. Try again later.
Articles 1–6