DrTuba Yavuz

ASO PROF

EG-ELECTRICAL - COMPUTER ENG

  • ASO PROF
    EG-ELECTRICAL - COMPUTER ENG

GRANTS

  • GRANT
    Constraint-Guided Local Fuzzing of Binaries
    US Department of Defense Adv Research Proj Agcy10 Sep 2025 - 29 Sep 2027
    Active
  • GRANT
    Collaborative Research: NSF-DFG: SaTC: CORE: Small: VeriFuzz: Light-weight Formal Approaches for Scalable Hardware Fuzzing
    National Science Foundation19 Aug 2024 - 30 Sep 2027
    Active
  • GRANT
    Validating Communications between Trusted and Untrusted Vehicle Control System - Phase II (10228)
    US Army Research Office19 Apr 2024 - 12 Jun 2025
    Expired
  • GRANT
    Deutsche Forschungsgemeinschaft1 Jan 2024
    People funded by this grant:
    • Sadeghi A-R,
    • Rajendran J,
    • Tyagi A,
    • Yavuz T
  • GRANT
    Collaborative Research: SHF: Small: Towards Variability-Aware Software Analysis and Testing
    National Science Foundation17 Aug 2022 - 31 Aug 2027
    Active
  • GRANT
    Collaborative Research: FMitF: Track I: Property-specific Hardware-oriented Formal Verification Modules for Embedded Systems
    National Science Foundation21 Aug 2020 - 30 Sep 2025
    Expired
  • GRANT
    CAREER:Towards a Secure and Reliable Internet of Things through Automated Model Extraction and Analysis
    National Science Foundation26 Mar 2020 - 30 Sep 2026
    Active
  • GRANT
    SaTC: STARSS: Small: Domain Informed Techniques for Detecting and Defending Against Malicious Firmware
    National Science Foundation9 Aug 2018 - 31 Dec 2022
    Expired
  • GRANT
    SaTC: STARSS: Small: Domain Informed Techniques for Detecting and Defending Against Malicious Firmware
    Semiconductor Research Corporation3 Aug 2018 - 30 Sep 2021
    Expired
  • GRANT
    Formal Analysis of SGX Platform Software
    Intel Corporation8 Feb 2018 - 31 Dec 2018
    Expired
  • GRANT
    KAHVECI - FOUNDATION F019827
    UF Foundation29 Jun 2015 - 15 May 2016
    Expired