Ruiling Chen

According to our database, Ruiling Chen authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.

Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Motion Arc Analysis in Virtual Reality Environment.

Chenxin Qu, Ruiling Chen, Xiaoping Che

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022