Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Control-Flow Integrity: Precision, Security, and Performance
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor Control-Flow Integrity
Poster : Framework for Security Verification of Secure Processor Architectures
In-Depth Enforcement of Dynamic Integrity Taint Analysis
Are hardware performance counters a cost effective way for integrity checking of programs
Hardware assisted control flow obfuscation for embedded processors
Secure program execution via dynamic information flow tracking
Runtime countermeasures for code injection attacks against C and C++ programs
A Sound Type System For Secure Flow Analysis
Formal Abstractions for Attested Execution Secure Processors
A Context-Based Integrity Framework
HAFIX: Hardware-Assisted Flow Integrity eXtension
Automatic Verification of Pipelined Microprocessor Control
Enlisting Hardware Architecture to Thwart Malicious Code Injection
Poster : Getting The Point ( er ) : On the Feasibility of Attacks on Code-Pointer Integrity
DRIVE: Dynamic Runtime Integrity Verification and Evaluation
Control-flow checking by software signatures
A digital design flow for secure integrated circuits
Tracing Flow Information for Tighter WCET Estimation: Application to Vectorization
FAROS: Illuminating In-memory Injection Attacks via Provenance-Based Whole-System Dynamic Information Flow Tracking
Control-flow analysis of functional programs
Enforcing forward-edge control-flow integrity in GCC & LLVM
Evolution, Detection and Analysis of Malware for Smart Devices
Manipulator Calibration Using A Single Endpoint Contact Constraint
Computer vision applied to herbarium specimens of German trees: testing the future utility of the millions of herbarium specimen images for automated identification
Overview of Deep Learning Architectures for Classifying Brain Signals