Xingxin Wang

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Fault Injection

Symbolic Execution

Top Venues

Publications

Xingxin Wang, Xinxin Wang, Chaoxuan Yuan, Wei Hu
Fault Analysis on AES and SM4 Through Automatic Property Extraction and Checking. AsianHOST (2023)
Shibo Tang, Xingxin Wang, Yifei Gao, Wei Hu
Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution. ISOCC (2022)
Xingxin Wang, Shibo Tang, Wei Hu
Towards Automatic Property Generation for SoC Security Verification. ISOCC (2022)
Xingxin Wang, Jian Zheng, Lingjuan Wu, Jiacheng Zhu, Wei Hu
A Correlation Fault Attack on Rotating S-Box Masking AES. AsianHOST (2021)
Wei Hu, Yixin Ma, Xinmu Wang, Xingxin Wang
Leveraging Unspecified Functionality in Obfuscated Hardware for Trojan and Fault Attacks. AsianHOST (2019)