Tuba Yavuz
Cited by
Cited by
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
Action language verifier
T Bultan, T Yavuz-Kahveci
Proceedings 16th Annual International Conference on Automated Software …, 2001
Automated verification of concurrent linked lists with counters
T Yavuz-Kahveci, T Bultan
International Static Analysis Symposium, 69-84, 2002
Specification, verification, and synthesis of concurrency control components
T Yavuz-Kahveci, T Bultan
ACM SIGSOFT Software Engineering Notes 27 (4), 169-179, 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
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
Action language verifier, extended
T Yavuz-Kahveci, C Bartzis, T Bultan
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
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
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
Composite symbolic library
T Yavuz-Kahveci, M Tuncer, T Bultan
Proceedings of the 7th International Conference on Tools and Algorithms for …, 2001
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
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
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
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
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
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
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
Heuristics for efficient manipulation of composite constraints
T Yavuz-Kahveci, T Bultan
International Workshop on Frontiers of Combining Systems, 57-71, 2002
Analyzing system software components using API model guided symbolic execution
T Yavuz, K Bai
Automated Software Engineering 27 (3), 329-367, 2020
Specification and automated verification of concurrent software systems
T Yavuz-Kahveci
PhD thesis, University of California, Santa Barbara, 2004
The system can't perform the operation now. Try again later.
Articles 1–20