2 citations · 14 across the 11 of their papers we have counts for
13 papers · 1 filter
Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects
Kaiming Huang, Mathias Payer, Zhiyun Qian +3
Heap memory errors remain a major source of software vulnerabilities. Existing memory safety defenses aim at protecting all objects, resulting in high performance cost and incomple…
PolyScope: Multi-Policy Access Control Analysis to Triage Android Scoped Storage
Yu-Tsung Lee, Haining Chen, William Enck +5
Android's filesystem access control is a crucial aspect of its system integrity. It utilizes a combination of mandatory access controls, such as SELinux, and discretionary access c…
Unsafe at Any Copy: Name Collisions from Mixing Case Sensitivities
Aditya Basu, John Sampson, Zhiyun Qian +1
File name confusion attacks, such as malicious symbolic links and file squatting, have long been studied as sources of security vulnerabilities. However, a recently emerged type, i…
Adversarial Plannning
Valentin Vie, Ryan Sheatsley, Sophia Beyda +4
Planning algorithms are used in computational systems to direct autonomous behavior. In a canonical application, for example, planning for autonomous vehicles is used to automate t…
Iota: A Framework for Analyzing System-Level Security of IoTs
Zheng Fang, Hao Fu, Tianbo Gu +4
Most IoT systems involve IoT devices, communication protocols, remote cloud, IoT applications, mobile apps, and the physical environment. However, existing IoT security analyses on…
Towards Practical Integrity in the Smart Home with HomeEndorser
Kaushal Kafle, Kirti Jagtap, Mansoor Ahmed-Rengers +2
Home automation in modern smart home platforms is often facilitated using trigger-action routines. While such routines enable flexible automation, they also lead to an instance of…