Keyphrases
Conditional Effects
100%
Freshness
100%
Separation Region
100%
Bounded Model Checking
100%
High Assurance
100%
Refinement Types
100%
Frame Problem
100%
Secure multi-party Computation
100%
Functional Program
100%
Cache Side Channel
100%
Metaprogramming
100%
Side-channel Detection
100%
Cryptographic Software
100%
Downstream Applications
100%
Lifter
100%
High-order Functionals
100%
Verification Task
100%
Java Modeling Language
100%
Verification Conditions
66%
Memory Operations
66%
Follow-up Cases
50%
Compiler
50%
Verification Method
50%
Harpoon
50%
Publicly Available
50%
Verification Tool
50%
Cryptographic Techniques
33%
Program Module
33%
Semantic Transfer
33%
Memory Safety
33%
Access Roads
33%
Frame Condition
33%
Imperative Programming
33%
Toolchain
33%
Fine Granularity
33%
Fat Pointer
33%
Top Level
33%
Object-oriented Languages
33%
Separation Logic
33%
Lexical Scope
33%
Arithmetic Operations
33%
Satisfiability Solving
33%
Safety Check
33%
Algebraic Effects
33%
Type Inference
25%
OpenSSL
25%
Channel Defect
25%
Software Privacy
25%
X86 Architecture
25%
Side-channel Vulnerabilities
25%
Computer Science
Data Structure
100%
Side Channel
100%
Case Study
100%
Frame Problem
100%
secure multiparty computation
100%
Functional Program
100%
Common Library
100%
Interoperability
100%
Memory Operation
66%
Information Leak
60%
Research Question
50%
Model Checking
50%
Cryptographic Technique
40%
Arithmetic Operation
33%
Sensitive Effect
33%
Lexical Scope
33%
Transitive Closure
33%
Fine Granularity
33%
Frame Condition
33%
Separation Property
33%
Object-Oriented Languages
33%
Parametric Polymorphism
33%
Pointer Analysis
30%
Type Inference
25%
Domain-Specific Language
20%
Merge-Sort
20%
Extensible Design
20%
Vector Multiplication
20%
Discriminability
20%
Compiler Optimization
12%
Control Transfer
12%
Aliasing
12%
Separate Compilation
12%
Order Function
12%
Debug Information
10%
Inconsistent Analysis
10%
Code Analysis
10%
Security Systems
10%
