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