Xingyu Meng

According to our database, Xingyu Meng authored at least 15 papers between 2021 and 2024.

Collaborative distances:

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

2024

System-on-Chip Information Flow Validation Under Asynchronous Resets.

Samit Shahnawaz Miftah, Kshitij Raj, Xingyu Meng, Sandip Ray, Kanad Basu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2024

OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis.

Liwei Ni, Rui Wang, Miao Liu, Xingyu Meng, Xiaoze Lin, Junfeng Liu, Guojie Luo, Zhufei Chu, Weikang Qian, Xiaoyan Yang, Biwei Xie, Xingquan Li, Huawei Li

CoRR, 2024

Uni-ISP: Unifying the Learning of ISPs from Multiple Cameras.

Lingen Li, Mingde Yao, Xingyu Meng, Muquan Yu, Tianfan Xue, Jinwei Gu

CoRR, 2024

NSPG: Natural language Processing-based Security Property Generator for Hardware Security Assurance.

Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Circuit Topology-Aware Vaccination-Based Hardware Trojan Detection.

Rakibul Hassan, Xingyu Meng, Kanad Basu, Sai Manoj Pudukotai Dinakarrao

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

SeVNoC: Security Validation of System-on-Chip Designs With NoC Fabrics.

Xingyu Meng, Kshitij Raj, Sandip Ray, Kanad Basu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2023

A Needle in the Haystack: Inspecting Circuit Layout to Identify Hardware Trojans.

Xingyu Meng, Abhrajit Sengupta, Kanad Basu

IACR Cryptol. ePrint Arch., 2023

Unlocking Hardware Security Assurance: The Potential of LLMs.

Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu

CoRR, 2023

2022

RTL-ConTest: Concolic Testing on RTL for Detecting Security Vulnerabilities.

Xingyu Meng, Shamik Kundu, Arun K. Kanuparthi, Kanad Basu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Explainable Machine Learning for Intrusion Detection via Hardware Performance Counters.

Abraham Peedikayil Kuruvila, Xingyu Meng, Shamik Kundu, Gaurav Pandey, Kanad Basu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

A Semi-formal Information Flow Validation for Analyzing Secret Asset Propagation in COTS IC Integrated Systems.

Xingyu Meng, Mahmudul Hasan, Kanad Basu, Tamzidul Hoque

Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022

2021

SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets.

Xingyu Meng, Kshitij Raj, Atul Prasad Deb Nath, Kanad Basu, Sandip Ray

IACR Cryptol. ePrint Arch., 2021

Two Sides of the Same Coin: Boons and Banes of Machine Learning in Hardware Security.

Wenye Liu, Chip-Hong Chang, Xueyang Wang, Chen Liu, Jason M. Fung, Mohammad Ebrahimabadi, Naghmeh Karimi, Xingyu Meng, Kanad Basu

IEEE J. Emerg. Sel. Topics Circuits Syst., 2021

Application of Machine Learning in Hardware Trojan Detection.

Shamik Kundu, Xingyu Meng, Kanad Basu

Proceedings of the 22nd International Symposium on Quality Electronic Design, 2021

Can Overclocking Detect Hardware Trojans?

Xingyu Meng, Rakibul Hassan, Sai Manoj Pudukotai Dinakarrao, Kanad Basu

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021