Xiaoxin An

According to our database, Xiaoxin An authored at least 5 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Side-Channel Analysis of Curve-25519 Based on Deep Learning.

Zongnan Zhang, Meng Li, Xiaoxin An, Zhen Li, Zhe Ma

Proceedings of the 2024 International Conference on Generative Artificial Intelligence and Information Security, 2024

2022

On Reducing the Trusted Computing Base in Binary Verification.

Xiaoxin An

PhD thesis, 2022

DSV: Disassembly Soundness Validation Without Assuming a Ground Truth.

Xiaoxin An, Freek Verbeek, Binoy Ravindran

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020

A Validation Methodology for OCaml-to-PVS Translation.

Xiaoxin An, Amer Tahat, Binoy Ravindran

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2015

Efficient terrain data coding for rendering on mobile devices.

Yankui Sun, Xiaoxin An, Zi Ye, Zhongyang Sun

Proceedings of the IEEE International Symposium on Signal Processing and Information Technology, 2015