Search Results for author:
Found 5 papers, 2 papers with code
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models
By carefully designing the framework and the prompts, we are able to overcome a number of challenges, including bug-specific modeling, the large problem scope, the non-deterministic nature of LLMs, etc.
A4 : Evading Learning-based Adblockers
Efforts by online ad publishers to circumvent traditional ad blockers towards regaining fiduciary benefits, have been demonstrably successful.
IoTSan: Fortifying the Safety of IoT Systems
In this paper, we design IoTSan, a novel practical system that uses model checking as a building block to reveal "interaction-level" flaws by identifying events that can lead the system to unsafe states.
Cryptography and Security
AdGraph: A Graph-Based Approach to Ad and Tracker Blocking
AdGraph differs from existing approaches by building a graph representation of the HTML structure, network requests, and JavaScript behavior of a webpage, and using this unique representation to train a classifier for identifying advertising and tracking resources.
Behavior Query Discovery in System-Generated Temporal Graphs
In this work, we investigate how to query temporal graphs and treat query formulation as a discriminative temporal graph pattern mining problem.
