Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Control-flow integrity principles, implementations, and applications
Secure program execution via dynamic information flow tracking
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
Information-Flow Security for a Core of JavaScript
Hidden Path: Dynamic Software Watermarking Based on Control Flow Obfuscation
An executable formal semantics of C with applications
An architecture for specification-based detection of semantic integrity violations in kernel dynamic data
Workflow ControlFlow Patterns: A Revised View
Code Pointer Masking: Hardening Applications against Code Injection Attacks
Obfuscation resilient binary code reuse through trace-oriented programming
Sprobes: Enforcing Kernel Code Integrity on the TrustZone Architecture
Copilot - a coprocessor-based kernel runtime integrity monitor
A digital design flow for secure integrated circuits
Securing web application code by static analysis and runtime protection
Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition
Automatic Verification of Pipelined Microprocessor Control
RTL Hardware IP Protection Using Key-Based Control and Data Flow Obfuscation
Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution
Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes
Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism
EdgeMiner: Automatically Detecting Implicit Control Flow Transitions through the Android Framework
Data quality: The other face of Big Data
the effective number of parameters : an analysis of generalization and regularization in nonlinear learning systems .
StackGhost: Hardware Facilitated Stack Protection
Normal anatomic relationships in prepubescent female external genitalia.
The Effectiveness of Virtual Reality Pain Control With Multiple Treatments of Longer Durations : A Case Study