research
∙
08/07/2023
Symmetry-Preserving Program Representations for Learning Code Semantics
Large Language Models (LLMs) have shown promise in automated program rea...
share
research
∙
05/12/2023
Monitoring and Adapting ML Models on Mobile Devices
ML models are increasingly being pushed to mobile devices, for low-laten...
research
∙
03/22/2023
Test-time Defense against Adversarial Attacks: Detection and Reconstruction of Adversarial Examples via Masked Autoencoder
Existing defense methods against adversarial attacks can be categorized ...
research
∙
03/01/2023
Self-Supervised Convolutional Visual Prompts
Machine learning models often fail on out-of-distribution (OOD) samples....
research
∙
12/26/2022
Packing Privacy Budget Efficiently
Machine learning (ML) models can leak information about users, and diffe...
research
∙
12/14/2022
Understanding Zero-Shot Adversarial Robustness for Large-Scale Models
Pretrained large-scale vision-language models like CLIP have exhibited s...
research
∙
12/13/2022
Adversarially Robust Video Perception by Seeing Motion
Despite their excellent performance, state-of-the-art computer vision mo...
research
∙
12/12/2022
Doubly Right Object Recognition: A Why Prompt for Visual Rationales
Many visual recognition models are evaluated only on their classificatio...
research
∙
12/12/2022
Robust Perception through Equivariance
Deep networks for computer vision are not reliable when they encounter a...
research
∙
11/12/2022
Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS)
It is beneficial to develop an efficient machine-learning based method f...
research
∙
10/04/2022
NeuDep: Neural Binary Memory Dependence Analysis
Determining whether multiple instructions can access the same memory loc...
research
∙
04/26/2022
Causal Transportability for Visual Recognition
Visual representations underlie object recognition tasks, but they often...
research
∙
04/22/2022
A Tale of Two Models: Constructing Evasive Attacks on Edge Models
Full-precision deep learning models are typically too large or costly to...
research
∙
04/07/2022
Using Multiple Self-Supervised Tasks Improves Model Robustness
Deep networks achieve state-of-the-art performance on computer vision ta...
research
∙
03/26/2021
Adversarial Attacks are Reversible with Natural Supervision
We find that images contain intrinsic structure that enables the reversa...
research
∙
03/20/2021
Greenplum: A Hybrid Database for Transactional and Analytical Workloads
Demand for enterprise data warehouse solutions to support real-time Onli...
research
∙
02/25/2021
BPF for storage: an exokernel-inspired approach
The overhead of the kernel storage path accounts for half of the access ...
research
∙
12/22/2020
Generative Interventions for Causal Learning
We introduce a framework for learning robust visual representations that...
research
∙
12/16/2020
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity
Detecting semantically similar functions – a crucial analysis capability...
research
∙
11/09/2020
What Does CNN Shift Invariance Look Like? A Visualization Study
Feature extraction with convolutional neural networks (CNNs) is a popula...
research
∙
10/02/2020
XDA: Accurate, Robust Disassembly with Transfer Learning
Accurate and robust disassembly of stripped binaries is challenging. The...
research
∙
07/14/2020
Multitask Learning Strengthens Adversarial Robustness
Although deep networks achieve strong accuracy on a range of computer vi...
research
∙
04/22/2020
Live Trojan Attacks on Deep Neural Networks
Like all software systems, the execution of deep learning models is dict...
research
∙
10/06/2019
Unrestricted Adversarial Attacks for Semantic Segmentation
Semantic segmentation is one of the most impactful applications of machi...
research
∙
09/03/2019
Metric Learning for Adversarial Robustness
Deep networks are well-known to be fragile to adversarial attacks. Using...
research
∙
09/19/2018
Efficient Formal Safety Analysis of Neural Networks
Neural networks are increasingly deployed in real-world safety-critical ...
research
∙
07/15/2018
NEUZZ: Efficient Fuzzing with Neural Program Learning
Fuzzing has become the de facto standard technique for finding software ...
research
∙
06/11/2018
Scalable Overload Control for Large-scale Microservice Architecture
Effective overload control for large-scale online service system is cruc...
research
∙
04/28/2018
Formal Security Analysis of Neural Networks using Symbolic Intervals
Due to the increasing deployment of Deep Neural Networks (DNNs) in real-...
research
∙
12/05/2017
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems
Due to the increasing usage of machine learning (ML) techniques in secur...
research
∙
08/26/2015