Tuba Yavuz

34 papers A* 1A 2B 1C 3Journal 15Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
Cross-Layer EM Fault Injection Assessment Framework.
ISQED
Hanqiu Wang, Ruochen Dai, Tuba Yavuz, Xiaolong Guo, Orlando Arias, Dean Sullivan, Michael Lee, Honggang Yu, Siqi Dai, Domenic Forte, Shuo Wang
2025 — conf
Evaluating the Effectiveness of Hardware Trojan Detection Approaches at RTL.
HOST
Ruochen Dai, Zhaoxiang Liu, Orlando Arias, Xiaolong Guo, Tuba Yavuz
2025 — conf
Stateful Behavior Inference and Runtime Enforcement for Vehicle Network Security.
VehicleSec
Achintya Desai, Ruochen Dai, Yanju Chen, Ky Ho, Austin Kee, Sophie Bulatovic, Md Shafiuzzaman, Ken Yihang Bai, Il Ung Jeong, David Siu, Tuba Yavuz, Tevfik Bultan
2024 — conf
DTjRTL: A Configurable Framework for Automated Hardware Trojan Insertion at RTL.
ACM Great Lakes Symposium on VLSI
Ruochen Dai, Zhaoxiang Liu, Orlando Arias, Xiaolong Guo, Tuba Yavuz
2024 — conf
Detecting Hardware Trojans using Model Guided Symbolic Execution.
ACM Great Lakes Symposium on VLSI
Ruochen Dai, Tuba Yavuz
2024 J jnl
Generating Maximal Configurations and Their Variants Using Code Metrics.
CoRR
Tuba Yavuz, Chin Khor, Ken Yihang Bai, Robyn R. Lutz
2024 J jnl
Multi-Pass Targeted Dynamic Symbolic Execution.
CoRR
Tuba Yavuz
2023 J jnl
A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions.
ACM Trans. Design Autom. Electr. Syst.
Ruochen Dai, Tuba Yavuz
2023 J jnl
ENCIDER: Detecting Timing and Cache Side Channels in SGX Enclaves and Cryptographic APIs.
IEEE Trans. Dependable Secur. Comput.
Tuba Yavuz, Farhaan Fowze, Grant Hernandez, Ken Yihang Bai, Kevin R. B. Butler, Dave Jing Tian
2023 — conf
MMIO Access-Based Coverage for Firmware Analysis.
CNS
Ken Yihang Bai, Tuba Yavuz
2023 J jnl
VGF: Value-Guided Fuzzing - Fuzzing Hardware as Hardware.
CoRR
Ruochen Dai, Michael Lee, Patrick Hoey, Weimin Fu, Tuba Yavuz, Xiaolong Guo, Shuo Wang, Dean Sullivan, Orlando Arias
2022 — conf
A Study on the Testing of Android Security Patches.
CNS
Christopher Brant, Tuba Yavuz
2022 — conf
Graph Neural Network based Hardware Trojan Detection at Intermediate Representative for SoC Platforms.
ACM Great Lakes Symposium on VLSI
Weimin Fu, Honggang Yu, Orlando Arias, Kaichen Yang, Yier Jin, Tuba Yavuz, Xiaolong Guo
2022 A conf
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software.
ICST
Tuba Yavuz
2022 — conf
Security Analysis of IoT Frameworks using Static Taint Analysis.
CODASPY
Tuba Yavuz, Christopher Brant
2021 J jnl
A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions.
CoRR
Ruochen Dai, Tuba Yavuz
2021 — conf
Finding Memory Vulnerabilities in Protocol Stack Implementations using Hybrid Program Analysis.
NSysS
Farhaan Fowze, Tuba Yavuz
2021 J jnl
Learning Feature Interactions With and Without Specifications.
CoRR
Seyedehzahra Khoshmanesh, Tuba Yavuz, Robyn R. Lutz
2021 J jnl
ProXray: Protocol Model Learning and Guided Firmware Analysis.
IEEE Trans. Software Eng.
Farhaan Fowze, Dave Tian, Grant Hernandez, Kevin R. B. Butler, Tuba Yavuz
2021 C conf
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations.
MEMOCODE
Farhaan Fowze, Tuba Yavuz
2020 J jnl
Analyzing system software components using API model guided symbolic execution.
Autom. Softw. Eng.
Tuba Yavuz, Ken Yihang Bai
2020 J jnl
Partial predicate abstraction and counter-example guided refinement.
J. Log. Algebraic Methods Program.
Tuba Yavuz
2020 — conf
Tutorial: Detecting Memory Vulnerabilities in the Components of System Code using PROMPT.
SecDev
Tuba Yavuz, Ken Yihang Bai
2020 C conf
Verifying Absence of Hardware-Software Data Races using Counting Abstraction.
MEMOCODE
Tuba Yavuz
2019 — conf
Detecting Callback Related Deep Vulnerabilities in Linux Device Drivers.
SecDev
Tuba Yavuz
2019 J jnl
Toward Automated Firmware Analysis in the IoT Era.
IEEE Secur. Priv.
Grant Hernandez, Farhaan Fowze, Dave Jing Tian, Tuba Yavuz, Patrick Traynor, Kevin R. B. Butler
2018 J jnl
Detecting potential deadlocks through change impact analysis.
Softw. Qual. J.
Chelsea A. Metcalf, Tuba Yavuz
2018 J jnl
Heuristics for Selecting Predicates for Partial Predicate Abstraction.
CoRR
Tuba Yavuz, Chelsea A. Metcalf
2017 A* conf
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.
CCS
Grant Hernandez, Farhaan Fowze, Dave (Jing) Tian, Tuba Yavuz, Kevin R. B. Butler
2017 J jnl
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution.
CoRR
Grant Hernandez, Farhaan Fowze, Dave Tian, Tuba Yavuz, Kevin R. B. Butler
2017 J jnl
Partial Predicate Abstraction and Counter-Example Guided Refinement.
CoRR
Tuba Yavuz
2016 B conf
Combining Predicate Abstraction with Fixpoint Approximations.
SEFM
Tuba Yavuz
2016 A conf
Extracting configuration parameter interactions using static analysis.
ICPC
Chelsea A. Metcalf, Farhaan Fowze, Tuba Yavuz, José A. B. Fortes
2016 C conf
Specification, verification, and synthesis using extended state machines with callbacks.
MEMOCODE
Farhaan Fowze, Tuba Yavuz