7 citations · 15 across the 4 of their papers we have counts for
4 papers
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
Hongbo Chen, Yifan Zhang, Xing Han +7
Token-inconsistency bugs (TIBs) involve the misuse of syntactically valid yet incorrect code tokens, such as misused variables and erroneous function invocations, which can often l…
Lalaine: Measuring and Characterizing Non-Compliance of Apple Privacy Labels at Scale
Yue Xiao, Zhengyi Li, Yue Qin +4
As a key supplement to privacy policies that are known to be lengthy and difficult to read, Apple has launched the app privacy labels, which purportedly help users more easily unde…
Confidential Attestation: Efficient in-Enclave Verification of Privacy Policy Compliance
Weijie Liu, Wenhao Wang, Xiaofeng Wang +9
A trusted execution environment (TEE) such as Intel Software Guard Extension (SGX) runs a remote attestation to prove to a data owner the integrity of the initial state of an encla…
Unauthorized Cross-App Resource Access on MAC OS X and iOS
Luyi Xing, Xiaolong Bai, Tongxin Li +5
On modern operating systems, applications under the same user are separated from each other, for the purpose of protecting them against malware and compromised programs. Given the…