Xin-Yu Feng

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 3

Top Topics

Privacy Protection

Data Anonymization

Modular Architecture

Top Venues

J. Comput. Sci. Technol.

Publications

Zhao-Hui Li, Xin-Yu Feng
Verifying Contextual Refinement with Ownership Transfer. J. Comput. Sci. Technol. 36 (6) (2021)
Junpeng Zha, Xin-Yu Feng, Lei Qiao
Modular Verification of SPARCv8 Code. J. Comput. Sci. Technol. 35 (6) (2020)
Zipeng Zhang, Ming Fu, Xin-Yu Feng
A Lightweight Dynamic Enforcement of Privacy Protection for Android. J. Comput. Sci. Technol. 34 (4) (2019)