83 citations · 83 across the 3 of their papers we have counts for
5 papers
A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions
Ruochen Dai, Tuba Yavuz
Due to the globalization of Integrated Circuit (IC) supply chain, hardware trojans and the attacks that can trigger them have become an important security issue. One type of hardwa…
Learning Feature Interactions With and Without Specifications
Seyedehzahra Khoshmanesh, Tuba Yavuz, Robyn R. Lutz
Features in product lines and highly configurable systems can interact in ways that are contrary to developers' intent. Current methods to identify such unanticipated feature inter…
Heuristics for Selecting Predicates for Partial Predicate Abstraction
Tuba Yavuz, Chelsea Metcalf
In this paper we consider the problem of configuring partial predicate abstraction that combines two techniques that have been effective in analyzing infinite-state systems: predic…
Partial Predicate Abstraction and Counter-Example Guided Refinement
Tuba Yavuz
In this paper we present a counter-example guided abstraction and approximation refinement (CEGAAR) technique for {\em partial predicate abstraction}, which combines predicate abst…
FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution
Grant Hernandez, Farhaan Fowze, Dave Tian +2
The USB protocol has become ubiquitous, supporting devices from high-powered computing devices to small embedded devices and control systems. USB's greatest feature, its openness a…