research
∙
05/27/2023
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Providing safety guarantees for autonomous systems is difficult as these...
share
research
∙
01/17/2023
SECOMlint: A linter for Security Commit Messages
Transparent and efficient vulnerability and patch disclosure are still a...
research
∙
12/08/2022
SkipFuzz: Active Learning-based Input Selection for Fuzzing Deep Learning Libraries
Many modern software systems are enabled by deep learning libraries such...
research
∙
06/01/2022
On the Perils of Cascading Robust Classifiers
Ensembling certifiably robust neural networks has been shown to be a pro...
research
∙
02/07/2022
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
We present DEEPDECS, a new method for the synthesis of correct-by-constr...
research
∙
07/23/2021
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair
Neural networks are increasingly being deployed in contexts where safety...
research
∙
06/01/2021
On using distributed representations of source code for the detection of C security vulnerabilities
This paper presents an evaluation of the code representation model Code2...
research
∙
03/23/2021
NNrepair: Constraint-based Repair of Neural Network Classifiers
We present NNrepair, a constraint-based technique for repairing neural n...
research
∙
02/27/2021
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
This paper presents NEUROSPF, a tool for the symbolic analysis of neural...
research
∙
04/17/2020
Parallelization Techniques for Verifying Neural Networks
Inspired by recent successes with parallel optimization techniques for s...
research
∙
02/12/2020
Fast Geometric Projections for Local Robustness Certification
Local robustness ensures that a model classifies all inputs within an ϵ-...
research
∙
12/01/2019