Concepedia

Xiaomu Shi

XS

Statistics

Publications

3

Citations

40

H-Index

3

Active since

2019

Affiliations

Shenzhen University(Current)

Academia Sinica

Xiaomu Shi is an author at Shenzhen University specializing in computer engineering, data security, and formal verification.

ORCID

Top concepts

Publications per year

2019–2022

3

Publications

3

Signed Cryptographic Program Verification with Typed CryptoLine

Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi et al. · 2019 · 16 citations · Full text

, , +17

Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU

Vincent Hwang, Jiaxiang Liu, Gregor Seiler et al. · IACR Transactions on Cryptographic Hardware and Embedded Systems · 2022 · 14 citations · Full text

, , +19

Verifying Arithmetic in Cryptographic C Programs

Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai et al. · 2019 · 10 citations

, , +18

1–3 of 3