Youcheng Sun

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm

2018 · arXiv (Cornell University)

Deployment of deep neural networks (DNNs) in safety- or security-critical systems requires provable guarantees on their correct behaviour. A common requirement is robustness to adversarial perturbations in a neighbourhood around an input. In this paper …

Safety and Trustworthiness of Deep Neural Networks: A Survey

2018 · arXiv (Cornell University)

In the past few years, significant progress has been made on deep neural networks (DNNs) in achieving human-level intelligence on several long-standing tasks. With broader deployment of DNNs on various applications, the concerns on its …

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

2023 · arXiv (Cornell University)

This paper introduces an innovative approach that combines Large Language Models (LLMs) with Formal Verification strategies for automatic software vulnerability repair. Initially, we employ Bounded Model Checking (BMC) to identify vulnerabilities and extract counterexamples. These …