Xiaoxin An

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 3

Top Topics

Top Venues

Publications

Zongnan Zhang, Meng Li, Xiaoxin An, Zhen Li, Zhe Ma
Side-Channel Analysis of Curve-25519 Based on Deep Learning. GAIIS (2024)
Xiaoxin An, Freek Verbeek, Binoy Ravindran
DSV: Disassembly Soundness Validation Without Assuming a Ground Truth. NFM (2022)
Xiaoxin An, Amer Tahat, Binoy Ravindran
A Validation Methodology for OCaml-to-PVS Translation. NFM (2020)
Yankui Sun, Xiaoxin An, Zi Ye, Zhongyang Sun
Efficient terrain data coding for rendering on mobile devices. ISSPIT (2015)