Login / Signup
Zhen Yue Du
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Sat Solving
Sensitive Data
Privacy Sensitive
Horizontally Partitioned Data
Top Venues
CSS
</>
Publications
</>
Ying Qin
,
Xiao Yang Shen
,
Zhen Yue Du
Privacy-Preserving SAT Solving Based on Projection-Equivalence CNF Obfuscation.
CSS
(2018)