Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1709.09623
Cited By
A Permission-Dependent Type System for Secure Information Flow Analysis
27 September 2017
Hongxu Chen
Alwen Tiu
Zhiwu Xu
Yang Liu
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A Permission-Dependent Type System for Secure Information Flow Analysis"
1 / 1 papers shown
Title
Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report
Peixuan Li
Qiang Yan
16
14
0
05 Jun 2017
1
