​
Login / Signup
Tuba Yavuz
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 30
Top Topics
Symbolic Execution
State Machines
Top Venues
CoRR
MEMOCODE
ACM Great Lakes Symposium on VLSI
SecDev
</>
Publications
</>
Ruochen Dai
,
Zhaoxiang Liu
,
Orlando Arias
,
Xiaolong Guo
,
Tuba Yavuz
DTjRTL: A Configurable Framework for Automated Hardware Trojan Insertion at RTL.
ACM Great Lakes Symposium on VLSI
(2024)
Ruochen Dai
,
Tuba Yavuz
Detecting Hardware Trojans using Model Guided Symbolic Execution.
ACM Great Lakes Symposium on VLSI
(2024)
Tuba Yavuz
,
Chin Khor
,
Ken Yihang Bai
,
Robyn R. Lutz
Generating Maximal Configurations and Their Variants Using Code Metrics.
CoRR
(2024)
Ruochen Dai
,
Tuba Yavuz
A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions.
ACM Trans. Design Autom. Electr. Syst.
28 (2) (2023)
Ruochen Dai
,
Michael Lee
,
Patrick Hoey
,
Weimin Fu
,
Tuba Yavuz
,
Xiaolong Guo
,
Shuo Wang
,
Dean Sullivan
,
Orlando Arias
VGF: Value-Guided Fuzzing - Fuzzing Hardware as Hardware.
CoRR
(2023)
Ken Yihang Bai
,
Tuba Yavuz
MMIO Access-Based Coverage for Firmware Analysis.
CNS
(2023)
Tuba Yavuz
,
Farhaan Fowze
,
Grant Hernandez
,
Ken Yihang Bai
,
Kevin R. B. Butler
,
Dave Jing Tian
ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs.
IEEE Trans. Dependable Secur. Comput.
20 (2) (2023)
Weimin Fu
,
Honggang Yu
,
Orlando Arias
,
Kaichen Yang
,
Yier Jin
,
Tuba Yavuz
,
Xiaolong Guo
Graph Neural Network based Hardware Trojan Detection at Intermediate Representative for SoC Platforms.
ACM Great Lakes Symposium on VLSI
(2022)
Christopher Brant
,
Tuba Yavuz
A Study on the Testing of Android Security Patches.
CNS
(2022)
Tuba Yavuz
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software.
ICST
(2022)
Tuba Yavuz
,
Christopher Brant
Security Analysis of IoT Frameworks using Static Taint Analysis.
CODASPY
(2022)
Farhaan Fowze
,
Dave Tian
,
Grant Hernandez
,
Kevin R. B. Butler
,
Tuba Yavuz
ProXray: Protocol Model Learning and Guided Firmware Analysis.
IEEE Trans. Software Eng.
47 (9) (2021)
Ruochen Dai
,
Tuba Yavuz
A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions.
CoRR
(2021)
Farhaan Fowze
,
Tuba Yavuz
Finding Memory Vulnerabilities in Protocol Stack Implementations using Hybrid Program Analysis.
NSysS
(2021)
Seyedehzahra Khoshmanesh
,
Tuba Yavuz
,
Robyn R. Lutz
Learning Feature Interactions With and Without Specifications.
CoRR
(2021)
Farhaan Fowze
,
Tuba Yavuz
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations.
MEMOCODE
(2021)
Tuba Yavuz
,
Ken Yihang Bai
Tutorial: Detecting Memory Vulnerabilities in the Components of System Code using PROMPT.
SecDev
(2020)
Tuba Yavuz
Verifying Absence of Hardware-Software Data Races using Counting Abstraction.
MEMOCODE
(2020)
Tuba Yavuz
Partial predicate abstraction and counter-example guided refinement.
J. Log. Algebraic Methods Program.
110 (2020)
Tuba Yavuz
,
Ken Yihang Bai
Analyzing system software components using API model guided symbolic execution.
Autom. Softw. Eng.
27 (3) (2020)
Grant Hernandez
,
Farhaan Fowze
,
Dave Jing Tian
,
Tuba Yavuz
,
Patrick Traynor
,
Kevin R. B. Butler
Toward Automated Firmware Analysis in the IoT Era.
IEEE Secur. Priv.
17 (5) (2019)
Tuba Yavuz
Detecting Callback Related Deep Vulnerabilities in Linux Device Drivers.
SecDev
(2019)
Chelsea A. Metcalf
,
Tuba Yavuz
Detecting potential deadlocks through change impact analysis.
Softw. Qual. J.
26 (3) (2018)
Tuba Yavuz
,
Chelsea A. Metcalf
Heuristics for Selecting Predicates for Partial Predicate Abstraction.
CoRR
(2018)
Grant Hernandez
,
Farhaan Fowze
,
Dave (Jing) Tian
,
Tuba Yavuz
,
Kevin R. B. Butler
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.
CCS
(2017)
Grant Hernandez
,
Farhaan Fowze
,
Dave Tian
,
Tuba Yavuz
,
Kevin R. B. Butler
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.
CoRR
(2017)
Tuba Yavuz
Partial Predicate Abstraction and Counter-Example Guided Refinement.
CoRR
(2017)
Farhaan Fowze
,
Tuba Yavuz
Specification, verification, and synthesis using extended state machines with callbacks.
MEMOCODE
(2016)
Chelsea A. Metcalf
,
Farhaan Fowze
,
Tuba Yavuz
,
José Fortes
Extracting configuration parameter interactions using static analysis.
ICPC
(2016)
Tuba Yavuz
Combining Predicate Abstraction with Fixpoint Approximations.
SEFM
(2016)