research
∙
09/18/2022
Membership Inference Attacks and Generalization: A Causal Perspective
Membership inference (MI) attacks highlight a privacy weakness in presen...
share
research
∙
02/04/2021
Refined Grey-Box Fuzzing with SIVO
We design and implement from scratch a new fuzzer called SIVO that refin...
research
∙
08/11/2020
Localizing Patch Points From One Exploit
Automatic patch generation can significantly reduce the window of exposu...
research
∙
06/25/2019
Quantitative Verification of Neural Networks And its Security Applications
Neural networks are increasingly employed in safety-critical domains. Th...
research
∙
07/02/2018
Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Symbolic execution is a powerful technique for program analysis. However...
research
∙
06/20/2017
THUMT: An Open Source Toolkit for Neural Machine Translation
This paper introduces THUMT, an open-source toolkit for neural machine t...
research
∙
04/07/2016
Neural Headline Generation with Sentence-wise Optimization
Recently, neural models have been proposed for headline generation by le...
research
∙
12/15/2015
Agreement-based Joint Training for Bidirectional Attention-based Neural Machine Translation
The attentional mechanism has proven to be effective in improving end-to...
research
∙
12/08/2015