Xingxin Wang

According to our database, Xingxin Wang authored at least 7 papers between 2019 and 2025.

Collaborative distances:

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

2025

An Automated Fault Attack Framework for Block Ciphers Through Property Mining and Verification.

Xingxin Wang, Wei Hu, Shibo Tang, Xinxin Wang, Huisi Zhou

IEEE Trans. Circuits Syst. I Regul. Pap., January, 2025

Bug Hunting in the RISC-V SoC: The 1^st Integrated Circuit Security Challenge.

Lei Peng, Jiacheng Zhu, Qizhi Zhang, Shibo Tang, Xingxin Wang, Xinyu Zheng, Yaxuan Zhao, Aijiao Cui, Wei Hu, Jiaji He, Peng Fei Qiu

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2025

2023

Fault Analysis on AES and SM4 Through Automatic Property Extraction and Checking.

Xingxin Wang, Xinxin Wang, Chaoxuan Yuan, Wei Hu

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2023

2022

Towards Automatic Property Generation for SoC Security Verification.

Xingxin Wang, Shibo Tang, Wei Hu

Proceedings of the 19th International SoC Design Conference, 2022

Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution.

Shibo Tang, Xingxin Wang, Yifei Gao, Wei Hu

Proceedings of the 19th International SoC Design Conference, 2022

2021

A Correlation Fault Attack on Rotating S-Box Masking AES.

Xingxin Wang, Jian Zheng, Lingjuan Wu, Jiacheng Zhu, Wei Hu

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2021

2019

Leveraging Unspecified Functionality in Obfuscated Hardware for Trojan and Fault Attacks.

Wei Hu, Yixin Ma, Xinmu Wang, Xingxin Wang

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2019