Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: RAGuard: A Hardware Based Mechanism for Backward-Edge Control-Flow Integrity
HAFIX: Hardware-Assisted Flow Integrity eXtension
DIRA: Automatic Detection, Identification and Repair of Control-Hijacking Attacks
Silencing Hardware Backdoors
Combining symbolic execution and model checking for data flow testing
A Practical Methodology for Measuring the Side-Channel Signal Available to the Attacker for Instruction-Level Events
A Sound Type System For Secure Flow Analysis
Control flow based obfuscation
SCRAP: Architecture for signature-based protection from Code Reuse Attacks
DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation
Missing the Point(er): On the Effectiveness of Code Pointer Integrity
Securing untrusted code via compiler-agnostic binary rewriting
Hardware-Based Trusted Computing Architectures for Isolation and Attestation
ROTE: Rollback Protection for Trusted Execution.
Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution
Cryptographic Reverse Firewalls
Return-Oriented Rootkits: Bypassing Kernel Code Integrity Protection Mechanisms
Morphable Counters: Enabling Compact Integrity Trees For Low-Overhead Secure Memories
Mitigating Use-After-Free Attack with Application Program Loader
Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.
DisARM: Mitigating Buffer Overflow Attacks on Embedded Devices
Return-oriented programming without returns
Artificial Insemination and Embryo Transfer in Goats
Machine learning and deep neural network — Artificial intelligence core for lab and real-world test and validation for ADAS and autonomous vehicles: AI for efficient and quality test and validation
Rare Query Expansion Through Generative Adversarial Networks in Search Advertising
The dermoscopic variability of dermatofibromas