Search Results for author:
Found 4 papers, 2 papers with code
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
Context: Identifying potential vulnerable code is important to improve the security of our software systems.
NNrepair: Constraint-based Repair of Neural Network Classifiers
We present novel strategies to enable precise yet efficient repair such as inferring correctness specifications to act as oracles for intermediate layer repair, and generation of experts for each class.
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks.
DifFuzz: Differential Fuzzing for Side-Channel Analysis
For this paper, we present an implementation that targets analysis of Java programs, and uses and extends the Kelinci and AFL fuzzers.
Cryptography and Security Software Engineering
