Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Fine-Grained Control-Flow Integrity Through Binary Hardening
Enforcing forward-edge control-flow integrity in GCC & LLVM
Obfuscation resilient binary code reuse through trace-oriented programming
Analysis and Defense of Vulnerabilities in Binary Code
RockJIT: Securing Just-In-Time Compilation Using Modular Control-Flow Integrity
control - flow integrity .
Protecting COTS Binaries from Disclosure-guided Code Reuse Attacks
Context-Sensitive Fencing: Securing Speculative Execution via Microcode Customization
Efficient and extensible security enforcement using dynamic data flow analysis
PT-CFI: Transparent Backward-Edge Control Flow Violation Detection Using Intel Processor Trace
In-Depth Enforcement of Dynamic Integrity Taint Analysis
Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing
BitBlaze: A new approach to computer security via binary analysis
Down to the bare metal: using processor features for binary analysis
Enlisting Hardware Architecture to Thwart Malicious Code Injection
Patch verification via multiversion interprocedural control flow graphs
Dynamic vs. Static Flow-Sensitive Security Analysis
Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping
Angr - The Next Generation of Binary Analysis
An Improved Method on Static Binary Analysis to Enhance the Context-Sensitive CFI
Control flow based obfuscation
Security Checkpoint Optimizer (SCO): an application for simulating the operations of airport security checkpoints
A novel cubic-order algorithm for approximating principal direction vectors
Agile Big Data Analytics Development: An Architecture-Centric Approach
AOP++: a generic aspect-oriented programming framework in c++
SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks