Piccolo: Exposing Complex Backdoors in NLP Transformer Models | 0 | 0.34 | 2022 |
Turn tree into graph: Automatic code review via simplified AST driven graph convolutional network | 0 | 0.34 | 2022 |
Deep Learning-Based Signal Quality Assessment for Wearable ECGs | 0 | 0.34 | 2022 |
Physical Attack on Monocular Depth Estimation with Optimal Adversarial Patches. | 0 | 0.34 | 2022 |
Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Security | 0 | 0.34 | 2022 |
Daedalus: Breaking Nonmaximum Suppression in Object Detection via Adversarial Examples | 1 | 0.37 | 2022 |
Quantifying the interpretation overhead of Python | 1 | 0.37 | 2022 |
PyART: Python API recommendation in real-time | 0 | 0.34 | 2021 |
Deep Feature Space Trojan Attack Of Neural Networks By Controlled Detoxification | 0 | 0.34 | 2021 |
Exposing numerical bugs in deep learning via gradient back-propagation | 3 | 0.38 | 2021 |
ATLAS: A Sequence-based Learning Approach for Attack Investigation | 0 | 0.34 | 2021 |
Activate or Not: Learning Customized Activation | 0 | 0.34 | 2021 |
PHYSFRAME: type checking physical frames of reference for robotic systems | 0 | 0.34 | 2021 |
Android SmartTVs Vulnerability Discovery via Log-Guided Fuzzing | 0 | 0.34 | 2021 |
WATCHER: in-situ failure diagnosis | 0 | 0.34 | 2020 |
Uiscope: Accurate, Instrumentation-Free, And Visible Attack Investigation For Gui Applications | 1 | 0.34 | 2020 |
Finding client-side business flow tampering vulnerabilities | 1 | 0.34 | 2020 |
TaintMan: an ART-Compatible Dynamic Taint Analysis Framework on Unmodified and Non-Rooted Android Devices | 2 | 0.63 | 2020 |
C2S: translating natural language comments to formal program specifications | 4 | 0.40 | 2020 |
ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation | 11 | 0.61 | 2019 |
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation | 0 | 0.34 | 2019 |
ProFuzzer: On-the-fly Input Type Probing for Better Zero-Day Vulnerability Discovery | 3 | 0.38 | 2019 |
NIC - Detecting Adversarial Samples with Neural Network Invariant Checking. | 3 | 0.38 | 2019 |
AdBudgetKiller: Online Advertising Budget Draining Attack. | 0 | 0.34 | 2018 |
Gemini: Guest-transparent honey files via hypervisor-level access redirection. | 0 | 0.34 | 2018 |
Redundancy-Free UAV Sensor Fault Isolation And Recovery. | 0 | 0.34 | 2018 |
Securing Real-Time Microcontroller Systems through Customized Memory View Switching. | 1 | 0.35 | 2018 |
A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis | 0 | 0.34 | 2018 |
MODE: automated neural network model debugging via state differential analysis and input selection. | 22 | 1.01 | 2018 |
How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem. | 11 | 0.53 | 2017 |
Accelerating array constraints in symbolic execution. | 8 | 0.47 | 2017 |
Analysis of SEAndroid Policies: Combining MAC and DAC in Android. | 2 | 0.41 | 2017 |
J-Force: Forced Execution on JavaScript. | 12 | 0.58 | 2017 |
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing. | 4 | 0.40 | 2017 |
UI driven Android application reduction. | 3 | 0.37 | 2017 |
Introspection-Based Memory Pruning for Live VM Migration. | 1 | 0.35 | 2017 |
PAD: programming third-party web advertisement censorship. | 1 | 0.35 | 2017 |
ReRanz: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks. | 4 | 0.38 | 2017 |
An Empirical Study on Mutation Testing of WS-BPEL Programs. | 3 | 0.37 | 2017 |
Z3str2: an efficient solver for strings, regular expressions, and length constraints. | 3 | 0.41 | 2017 |
Automatic model generation from documentation for Java API functions. | 11 | 0.57 | 2016 |
Detecting sensitive data disclosure via bi-directional text correlation analysis. | 8 | 0.48 | 2016 |
Screen After Previous Screens: Spatial-Temporal Recreation Of Android App Displays From Memory Images | 6 | 0.43 | 2016 |
Eavesdropping on Fine-Grained User Activities Within Smartphone Apps Over Encrypted Network Traffic. | 0 | 0.34 | 2016 |
Python probabilistic type inference with natural language support. | 13 | 0.56 | 2016 |
PerfGuard: binary-centric application performance monitoring in production environments. | 2 | 0.36 | 2016 |
Eavesdropping on Fine-Grained User Activities Within Smartphone Apps Over Encrypted Network Traffic. | 4 | 0.45 | 2016 |
Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices. | 9 | 0.47 | 2016 |
IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. | 0 | 0.34 | 2016 |
LDX: Causality Inference by Lightweight Dual Execution. | 1 | 0.35 | 2016 |