Keyphrases
Dynamic Information Flow Control
50%
Hyperproperties
50%
Social Wireless Networks
50%
Content Provisioning Cost
50%
Distributed Cooperative
50%
Alltoallv
50%
Fine-grained Authorization
50%
Recursive Aggregates
50%
MPI Collectives
50%
Souffles
50%
Communication-avoiding
50%
Flix
50%
All-to-all Communication
50%
Declassification Policy
50%
Security Labels
50%
User Permission
50%
MPI-Alltoall
37%
Sensitive Resource
37%
All-to-all
37%
Object Caching
33%
Android Permissions
33%
Hash Join
33%
Reverse Engineering Tools
33%
Heap Abstraction
25%
Security Type System
25%
Program Logic
25%
Multiple Versions
25%
Static Mechanism
25%
Linguistic Paradigm
25%
Runtime Checking
25%
Data Load
25%
Program Comprehension
25%
Program Debugging
25%
Source Code Comments
25%
Program Maintenance
25%
HyperLTL
20%
CTL*
20%
Relational Algebra
20%
Telephony
16%
Heterogeneous Objects
16%
Network Pricing
16%
End-consumer
16%
Electronic Book Readers
16%
Selfish Users
16%
Network Service Model
16%
Telephone-based
16%
Permission Model
16%
Cess
16%
Google Android Platform
16%
Natural Targets
16%
Computer Science
Android
100%
Datalog
50%
Information Flow Control
50%
Functional Dependency
50%
Average Message Size
50%
Android Application
50%
Symbolic Execution
50%
Electronic Book
33%
Multiple Version
25%
Model Checking Algorithm
25%
Access Control Policies
25%
Program Comprehension
25%
Sensitive Informations
25%
Mobile App
25%
Powerset
25%
Defined Data Type
25%
Mobile Platform
25%
Bytecode
25%
Security Condition
25%
User Interaction
25%
Relational Algebra
20%
Network Pricing
16%
Provider Network
16%
Open Addressing
16%
Interactive Access
16%
System Authorization
12%
Deductive Database
10%
Analyze Phase
10%
Mental Representation
10%
Developer Tool
10%
