C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Yujia Man
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Synthetic Data
Model Free
Anomaly Detection
High Precision
Top Venues
SpaCCS
</>
Publications
</>
Lu Ren
,
Rui Chang
,
Qing Yin
,
Yujia Man
A Formal Android Permission Model Based on the B Method.
SpaCCS
(2017)