research
∙
08/01/2023
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models
Static analysis is a widely used technique in software engineering for i...
share
research
∙
02/27/2023
PolyScope: Multi-Policy Access Control Analysis to Triage Android Scoped Storage
Android's filesystem access control is a crucial aspect of its system in...
research
∙
11/30/2022
Unsafe at Any Copy: Name Collisions from Mixing Case Sensitivities
File name confusion attacks, such as malicious symbolic links and file s...
research
∙
11/11/2021
SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel
Fuzzing has become one of the most effective bug finding approach for so...
research
∙
11/03/2020
You Do (Not) Belong Here: Detecting DPI Evasion Attacks with Context Learning
As Deep Packet Inspection (DPI) middleboxes become increasingly popular,...
research
∙
08/08/2020
PolyScope: Multi-Policy Access Control Analysis to Triage Android Systems
Android filesystem access control provides a foundation for Android syst...
research
∙
01/29/2020
A4 : Evading Learning-based Adblockers
Efforts by online ad publishers to circumvent traditional ad blockers to...
research
∙
10/22/2018
IoTSan: Fortifying the Safety of IoT Systems
Today's IoT systems include event-driven smart applications (apps) that ...
research
∙
05/22/2018
AdGraph: A Machine Learning Approach to Automatic and Effective Adblocking
Filter lists are widely deployed by adblockers to block ads and other fo...
research
∙
11/18/2015