7 papers
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi +2
Program debloating aims to enhance the performance and reduce the attack surface of bloated applications. Several techniques have been recently proposed to specialize programs. The…
SpellBound: Defending Against Package Typosquatting
Matthew Taylor, Ruturaj K. Vaidya, Drew Davidson +2
Package managers for software repositories based on a single programming language are very common. Examples include npm (JavaScript), and PyPI (Python). These tools encourage code…
Robust Attribution Regularization
Jiefeng Chen, Xi Wu, Vaibhav Rastogi +2
An emerging problem in trustworthy machine learning is to train models that produce robust interpretations for their predictions. We take a step towards solving this problem throug…
Neural-Augmented Static Analysis of Android Communication
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi +2
We address the problem of discovering communication links between applications in the popular Android mobile operating system, an important problem for security and privacy in Andr…
Towards Understanding Limitations of Pixel Discretization Against Adversarial Attacks
Jiefeng Chen, Xi Wu, Vaibhav Rastogi +2
Wide adoption of artificial neural networks in various domains has led to an increasing interest in defending adversarial attacks against them. Preprocessing defense methods such a…
Towards Least Privilege Containers with Cimplifier
Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli +2
Application containers, such as Docker containers, have recently gained popularity as a solution for agile and seamless deployment of applications. These light-weight virtualizatio…