
Registered user since Thu 28 Sep 2017
Name: Tuba Yavuz
Country: United States
Affiliation: University of Florida
Personal website: http://www.tuba.ece.ufl.edu/
Research interests: Formal Verification, Software Engineering, Program Analysis, Security
Contributions
ICSE 2020 | ProXray: Protocol Model Learning and Guided Firmware Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2020-profile
View general profile
View general profile