Publications (5)
Enabling Deterministic User-Level Interrupts in Real-Time Processors via Hardware Extension
Hongbin Yang, Huanle Zhang, Runyu Pan
The growing complexity of real-time embedded systems demands strong isolation of software components into separate protection domains to reduce attack surfaces and limit fault prop…
What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
Biwei Yan, Yue Zhang, Minghui Xu +3
The application layer of Bluetooth Low Energy (BLE) is a growing source of security vulnerabilities, as developers often neglect to implement critical protections such as encryptio…
HWE-Bench: Can Language Models Perform Board-level Schematic Designs?
Weibo Qiu, Yinhao Xiao, Runyu Pan
Large Language Models (LLMs) have demonstrated significant potential in various engineering tasks, including software development, digital logic generation, and companion document…
Physical Layer Security for FAS-Aided Short-Packet Systems: A Variable Block-Correlation Approach
Jianchao Zheng, Tuo Wu, Kai-Kit Wong +5
This paper presents a comprehensive physical layer security (PLS) framework for fluid antenna system (FAS)-aided short-packet communications under the variable block-correlation mo…
Meta Computing
Xiuzhen Cheng, Minghui Xu, Runyu Pan +4
With the continuous improvement of information infrastructures, academia and industry have been constantly exploring new computing paradigms to fully exploit computing powers. In t…