arXiv subjects

Runyu Pan

Publications and source records attributed to Runyu Pan.

5 recordsLinked to original sources

arXiv2026

Enabling Deterministic User-Level Interrupts in Real-Time Processors via Hardware Extension

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 propagation. However, application-supplied device interrupt handlers -- even untrusted -- have to remain in the kernel to minimize interrupt latency, undermining security and burdening manual certifications. Current hardware extensions accelerate interrupts only when the target protection domain is scheduled by the kernel; consequently, they are limited to improving average-case performance but not worst-case latency, and do not meet the requirements of critical real-time applications such as autonomous vehicles or robots. To overcome this limitation, we propose a novel hardware extension that enables direct, deterministic switching to the appropriate protection domain upon user-level interrupt arrival -- without kernel intervention -- even when that domain is dormant. Our hardware extension reduces worst-case latency by more than 50x with a 19% increase in core area (2% of total die area) and 4.1% increase in dynamic power. To the best of our knowledge, this is the first integrated mechanism to guarantee user-level interrupt delivery with a nanosecond-scale yet bounded worst-case latency.

cs.CR↗

arXiv2026

Physical Layer Security for FAS-Aided Short-Packet Systems: A Variable Block-Correlation Approach

This paper presents a comprehensive physical layer security (PLS) framework for fluid antenna system (FAS)-aided short-packet communications under the variable block-correlation model (VBCM). We consider a downlink wiretap scenario in which a base station transmits confidential short packets to a legitimate receiver user (RU) in the presence of an eavesdropper user (EU), where both the RU and EU are equipped with fluid antennas. Unlike existing FAS security analyses that rely on constant block-correlation models or infinite-blocklength assumptions, we incorporate the VBCM to accurately capture the non-uniform spatial correlation structure inherent in practical FAS deployments. By employing a piecewise linear approximation of the decoding error probability and Gauss-Chebyshev quadrature, we derive closed-form and asymptotic expressions for the average achievable secrecy throughput (AAST). We further prove that the AAST is monotonically non-decreasing in the number of RU ports, which reduces the three-dimensional joint optimization of transmit power, blocklength, and port number to a two-dimensional grid search (GS). Numerical results demonstrate that the FAS-aided system achieves up to an order-of-magnitude secrecy throughput improvement over conventional fixed-position antenna systems, and reveal that blocklength selection is the most critical design parameter in the joint optimization.

eess.SP↗

arXiv2026

HWE-Bench: Can Language Models Perform Board-level Schematic Designs?

Large Language Models (LLMs) have demonstrated significant potential in various engineering tasks, including software development, digital logic generation, and companion document maintenance. However, their ability to perform board-level circuit design is understudied, as this task requires a synergized understanding of real-world physics and Integrated Circuit (IC) datasheets, the latter comprising detailed specifications for individual components. To address this challenge, we propose \hweb, an evaluation framework that benchmarks the ability of LLMs to perform such designs. It consists of 300 board-level design tasks pulled from open-source and crowdsourcing platforms such as GitHub and OSHWLab, covering 8 application domains, and is complemented with a knowledge base of 2,914 real IC datasheets. For each task, the LLMs are tasked with generating a schematic from scratch, using the provided circuit functional requirements and a set of component datasheets as input. The resulting schematic will be checked against a static electrical rules, and then passed to a circuit simulator to verify its dynamic behavior. Our evaluation show that although current models achieve initial engineering usability and documentation understanding, they lack physical intuition, as the top-performing model achieved an overall pass rate of 8.15\%. We envision that advancements on \hweb\ will pave the way for the development of practical Electronic Design Automation (EDA) agents, revolutionizing the field of board-level design.

cs.AR↗

arXiv2025

What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection

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 encryption, authentication, and freshness. While formal verification offers a principled way to check these properties, the manual effort of constructing formal models makes it impractical for large-scale analysis. This paper introduces a key insight: BLE application security analysis can be reframed as a semantic translation problem, i.e., from real-world code to formal models. We leverage large language models (LLMs) not to directly detect vulnerabilities, but to serve as translators that convert BLE-specific code into process models verifiable by tools like ProVerif. We implement this idea in VerifiaBLE, a system that combines static analysis, prompt-guided LLM translation, and symbolic verification to check three core security features: encryption, randomness, and authentication. Applied to 1,050 Android BLE apps, VerifiaBLE uncovers systemic weaknesses: only 10.2\% of apps implement all three protections, while 53.9\% omit them entirely. Our work demonstrates that using LLMs as structured translators can lower the barrier to formal methods, unlocking scalable verification across security-critical domains.

cs.CR↗

arXiv2023

Meta Computing

With the continuous improvement of information infrastructures, academia and industry have been constantly exploring new computing paradigms to fully exploit computing powers. In this paper, we propose Meta Computing, a new computing paradigm that aims to utilize all available computing resources hooked on the Internet, provide efficient, fault-tolerant, and personalized services with strong security and privacy guarantee, and virtualize the Internet as a giant computer, that is, ``Network-as-a-Computer, NaaC'', or ``Meta Computer'' for short, for any task or any person on-demand.

cs.DC↗