7 citations · 9 across the 2 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2024
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…
cs.CR2020★ 2 cited
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…
cs.CR2015★ 7 cited
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…