Keyphrases
Decompilation
100%
X86-64
83%
Deadlock
65%
Cache Coherence Protocol
48%
Deadlock-free
48%
Control Flow
48%
Compositional Approach
43%
Assembly Code
43%
Formal Proof
40%
Formal Semantics
38%
C Code
35%
Intermediate Representation
35%
Binary Lifting
32%
Sanity
32%
Verified Lifting
32%
Network on chip
32%
Proof Obligations
32%
Reachability Logic
32%
Low-level Code
32%
Deadlock Verification
32%
Wormhole Network
32%
Deadlock-free Routing
32%
Diversification Techniques
32%
Code Diversification
32%
Communication Fabrics
32%
Reachability Analysis
32%
P-code
32%
Control Flow Graph
32%
Deadlock Freedom
32%
Inter-procedural
32%
Memory Consumption
32%
Functional Correctness
32%
Decision Procedure
32%
HOL Theorem Prover
27%
Return Address
27%
Xen Hypervisor
27%
Isabelle
27%
Source Code
25%
Routing Function
24%
Formal Methods
24%
Adaptive Routing
24%
Ghidra
24%
Assembly Programs
21%
Popular
19%
Reachability
17%
Under-approximation
16%
Binary Verification
16%
Verification Analysis
16%
Means of Communication
16%
Advanced Interconnects
16%
Computer Science
Deadlock
97%
Control Flow
78%
Postcondition
65%
Case Study
59%
Source Codes
50%
Hypervisor
48%
Assembly Code
48%
Return Address
48%
Theorem Prover
48%
Formal Semantics
48%
Cache Coherence
43%
Intermediate Representation
43%
Proof Obligation
32%
Decision Procedure
32%
Assembly Instruction
32%
Production Code
32%
Nested Loop
32%
Reachability Analysis
32%
Networks on Chips
32%
Diversification Technique
32%
Control-Flow Graph
32%
Theorem Proving
32%
Data Structure
32%
Security Properties
32%
Soundness
32%
Deadlock Freedom
29%
Decompilers
27%
Commercial off the Shelf
16%
Calling Convention
16%
Level Representation
16%
Mathematical Formalism
16%
Program Transformation
16%
Code Transformation
16%
Execution Speed
16%
Compiler Option
16%
Instantiation
16%
Formal Verification
16%
Virtual Machine
16%
Process Control
16%
Program Analysis
16%
Executable Code
16%
Operational Semantics
16%
Logic Programming
16%
Execution Path
16%
Security Analysis
16%
Symbolic Execution
16%
Level Analysis
16%
Code Interpreter
10%
Application Layer Protocol
10%
Manycore System
10%
