Keyphrases
X86-64
100%
Decompilation
94%
Deadlock
41%
Binary Lifting
41%
P-code
41%
Ghidra
36%
Assembly Code
32%
HOL Theorem Prover
32%
Isabelle
32%
Cache Coherence Protocol
31%
Deadlock-free
31%
Control Flow
30%
Formal Semantics
29%
Compositional Approach
27%
Incorrectness Logic
27%
Formal Proof
25%
C Code
22%
Intermediate Representation
22%
Decompiler
20%
Sanity
20%
Verified Lifting
20%
Network on chip
20%
Proof Obligations
20%
Reachability Logic
20%
Low-level Code
20%
Deadlock Verification
20%
Wormhole Network
20%
Deadlock-free Routing
20%
Diversification Techniques
20%
Code Diversification
20%
Communication Fabrics
20%
Reachability Analysis
20%
Control Flow Graph
20%
Deadlock Freedom
20%
Inter-procedural
20%
Memory Consumption
20%
Functional Correctness
20%
Decision Procedure
20%
Position-independent
20%
Formal Methods
20%
Posters
20%
Stripped Binaries
20%
Backward Reasoning
20%
Binary-level
17%
Popular
17%
Reverse Engineering
17%
Return Address
17%
Xen Hypervisor
17%
Source Code
16%
Routing Function
15%
Computer Science
Theorem Prover
72%
Postcondition
51%
Invariant
51%
Control Flow
49%
Decompilers
43%
Deadlock
41%
Formal Semantics
36%
Case Study
31%
Hypervisor
31%
Assembly Code
31%
Return Address
31%
Soundness
31%
Intermediate Representation
27%
Reverse Engineering
27%
Proof System
25%
Proof Obligation
20%
Decision Procedure
20%
Assembly Instruction
20%
Production Code
20%
Nested Loop
20%
Reachability Analysis
20%
Networks on Chips
20%
Diversification Technique
20%
Control-Flow Graph
20%
Theorem Proving
20%
Data Structure
20%
Security Properties
20%
Assemblers
20%
Instruction Sequence
20%
Commercial off the Shelf
10%
Calling Convention
10%
Level Representation
10%
Mathematical Formalism
10%
Program Transformation
10%
Code Transformation
10%
Execution Speed
10%
Compiler Option
10%
Instantiation
10%
Formal Verification
10%
Virtual Machine
10%
Process Control
10%
Program Analysis
10%
Executable Code
10%
Operational Semantics
10%
Logic Programming
10%
Execution Path
10%
Security Analysis
10%
Symbolic Execution
10%
Level Analysis
10%
Formulate Constraint
10%
