Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: SOFIA: Software and control flow integrity architecture
HAFIX: Hardware-Assisted Flow Integrity eXtension
Fault injection at host-compiled level with static fault set reduction for SoC firmware robustness testing
Control-flow analysis of functional programs
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
A Survey on Data-Flow Testing
Hidden Path: Dynamic Software Watermarking Based on Control Flow Obfuscation
A flexible microcontroller architecture for fail-safe and fail-operational systems
RTL Hardware IP Protection Using Key-Based Control and Data Flow Obfuscation
Model Driven Software Security Architecture of Systems-of-Systems
LOMAC: Low Water-Mark integrity protection for COTS environments
CIPA: A collaborative intrusion prevention architecture for programmable network and SDN
Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software
An analysis of soar as an integrated architecture
Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
FLOWGUARD: building robust firewalls for software-defined networks
EdgeMiner: Automatically Detecting Implicit Control Flow Transitions through the Android Framework
Sanctum: Minimal Hardware Extensions for Strong Software Isolation
Enlisting Hardware Architecture to Thwart Malicious Code Injection
A digital design flow for secure integrated circuits
Address obfuscation: an efficient approach to combat a broad range of memory error exploits
BER Analysis and Optimization of Generalized Spatial Modulation in Correlated Fading Channels
Measuring Efficiency and Productivity Growth of New Technology-Based Firms in Business Incubators: The Portuguese Case Study of Madan Parque
Apical limit of root canal instrumentation and obturation, part 2. A histological study
evaluating the impact of menu labeling on food choices and intake .