1 citations · 1 across the 6 of their papers we have counts for
9 papers
Diagonalization of skew-Hermitian dual quaternion matrices and -Hermitian dual quaternion matrices
Cailing Yao, Bingzhe Hou
In this article, we present the diagonalization of skew-Hermitian dual quaternion matrices in the sense of unitary equivalence. For a unit quaternion , we also obtain the diagon…
Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
Chengyan Ma, Jieke Shi, Ruidong Han +4
Trusted Execution Environments (TEEs) provide hardware-based isolation to protect sensitive data and computations from potentially compromised operating systems (OS). However, TEE…
Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
Chengyan Ma, Jieke Shi, Ruidong Han +3
Trusted Execution Environments (TEEs) provide hardware-enforced isolation that protects sensitive code and data from untrusted software. Despite their strong security guarantees, a…
AgentSZZ: Teaching the LLM Agent to Play Detective with Bug-Inducing Commits
Yunbo Lyu, Jieke Shi, Hong Jin Kang +8
The SZZ algorithm is the dominant technique for identifying bug-inducing commits and underpins many software engineering tasks, such as defect prediction and vulnerability analysis…
What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
Yuqing Niu, Jieke Shi, Ruidong Han +4
Trusted Execution Environments (TEEs), such as Intel SGX and ARM TrustZone, provide isolated regions of CPU and memory for secure computation and are increasingly used to protect s…
Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
Ye Liu, Yuqing Niu, Chengyan Ma +5
Smart contracts are highly susceptible to manipulation attacks due to the leakage of sensitive information. Addressing manipulation vulnerabilities is particularly challenging beca…
DITING: A Static Analyzer for Identifying Bad Partitioning Issues in TEE Applications
Chengyan Ma, Ruidong Han, Jieke Shi +7
Trusted Execution Environment (TEE) enhances the security of mobile applications and cloud services by isolating sensitive code in the secure world from the non-secure normal world…
Automated TEE Adaptation with LLMs: Identifying, Transforming, and Porting Sensitive Functions in Programs
Ruidong Han, Zhou Yang, Chengyan Ma +5
Trusted Execution Environments (TEEs) isolate a special space within a device memory that is not accessible to the normal world (also known as the untrusted environment), even when…
Do Existing Testing Tools Really Uncover Gender Bias in Text-to-Image Models?
Yunbo Lyu, Zhou Yang, Yuqing Niu +2
Text-to-Image (T2I) models have recently gained significant attention due to their ability to generate high-quality images and are consequently used in a wide range of applications…