3 papers
cs.LG2025
HORAE: A Domain-Agnostic Language for Automated Service Regulation
Yutao Sun, Mingshuai Chen, Tiancheng Zhao +8
Artificial intelligence is rapidly encroaching on the field of service regulation. However, existing AI-based regulation techniques are often tailored to specific application domai…
cs.CR2025
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
Zhuoruo Zhang, Rui Chang, Mingshuai Chen +5
Hardware supply-chain attacks are raising significant security threats to the boot process of multiprocessor systems. This paper identifies a new, prevalent hardware supply-chain a…
cs.LO2024
Parf: Adaptive Parameter Refining for Abstract Interpretation
Zhongyi Wang, Linyu Yang, Mingshuai Chen +6
The core challenge in applying abstract interpretation lies in the configuration of abstraction and analysis strategies encoded by a large number of external parameters of static a…