Sign in
Ruiling Chen
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Virtual Reality
Hash Functions
Java Programs
Galois Field
Top Venues
SMC
ESEC/SIGSOFT FSE
</>
Publications
</>
Ruiling Chen
,
Jiaxiang Liu
,
Xiaomu Shi
,
Ming-Hsien Tsai
,
Bow-Yaw Wang
,
Bo-Yin Yang
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.
ESEC/SIGSOFT FSE
(2023)
Chenxin Qu
,
Ruiling Chen
,
Xiaoping Che
Motion Arc Analysis in Virtual Reality Environment.
SMC
(2022)