4 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…