| Firmusb: Vetting usb device firmware using domain informed symbolic execution G Hernandez, F Fowze, D Tian, T Yavuz, KRB Butler Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 126 | 2017 |
| Action language verifier T Bultan, T Yavuz-Kahveci Proceedings 16th Annual International Conference on Automated Software …, 2001 | 61 | 2001 |
| Automated verification of concurrent linked lists with counters T Yavuz-Kahveci, T Bultan International Static Analysis Symposium, 69-84, 2002 | 46 | 2002 |
| Specification, verification, and synthesis of concurrency control components T Yavuz-Kahveci, T Bultan ACM SIGSOFT Software Engineering Notes 27 (4), 169-179, 2002 | 41 | 2002 |
| A library for composite symbolic representations T Yavuz-Kahveci, M Tuncer, T Bultan International Conference on Tools and Algorithms for the Construction and …, 2001 | 35 | 2001 |
| Precise data race detection in a relaxed memory model using heuristic-based model checking KH Kim, T Yavuz-Kahveci, BA Sanders 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 28 | 2009 |
| Action language verifier, extended T Yavuz-Kahveci, C Bartzis, T Bultan Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 26 | 2005 |
| ENCIDER: detecting timing and cache side channels in SGX enclaves and cryptographic APIs T Yavuz, F Fowze, G Hernandez, KY Bai, KRB Butler, DJ Tian IEEE Transactions on Dependable and Secure Computing 20 (2), 1577-1595, 2022 | 22 | 2022 |
| Application of k-nearest neighbor on feature projections classifier to text categorization T Yavuz, HA Guvenir Proceedings of the 13th international symposium on computer and information …, 1998 | 22 | 1998 |
| Action Language Verifier: An infinite-state model checker for reactive software specifications T Yavuz-Kahveci, T Bultan Formal Methods in System Design 35 (3), 325-367, 2009 | 16 | 2009 |
| Composite symbolic library T Yavuz-Kahveci, M Tuncer, T Bultan Proceedings of the 7th International Conference on Tools and Algorithms for …, 2001 | 16 | 2001 |
| Proxray: Protocol model learning and guided firmware analysis F Fowze, D Tian, G Hernandez, K Butler, T Yavuz IEEE Transactions on Software Engineering 47 (9), 1907-1928, 2019 | 15 | 2019 |
| A symbolic manipulator for automated verification of reactive systems with heterogeneous data types T Yavuz-Kahveci, T Bultan International journal on software tools for technology transfer 5, 15-33, 2003 | 15 | 2003 |
| JRF-E: using model checking to give advice on eliminating memory model-related bugs KH Kim, T Yavuz-Kahveci, BA Sanders Proceedings of the 25th IEEE/ACM International Conference on Automated …, 2010 | 14 | 2010 |
| Toward automated firmware analysis in the iot era G Hernandez, F Fowze, DJ Tian, T Yavuz, P Traynor, KRB Butler IEEE Security & Privacy 17 (5), 38-46, 2019 | 11 | 2019 |
| Java memory model-aware model checking H Jin, T Yavuz-Kahveci, BA Sanders Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 10 | 2012 |
| Verification of parameterized hierarchical state machines using action language verifier T Yavuz-Kahveci, T Bultan Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005 | 10 | 2005 |
| Heuristics for efficient manipulation of composite constraints T Yavuz-Kahveci, T Bultan International Workshop on Frontiers of Combining Systems, 57-71, 2002 | 8 | 2002 |
| Analyzing system software components using API model guided symbolic execution T Yavuz, K Bai Automated Software Engineering 27 (3), 329-367, 2020 | 7 | 2020 |
| Specification and automated verification of concurrent software systems T Yavuz-Kahveci PhD thesis, University of California, Santa Barbara, 2004 | 6 | 2004 |
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraVerified email at cs.ucsb.edu
