ARENA: Enhancing Abstract Refinement for Neural Network Verification

von Zhong, Yuyi
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)

Scalable and Modular Robustness Analysis of Deep Neural Networks

von Zhong, Yuyi
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)

VULDEEPECKER: A DEEP LEARNING-BASED SYSTEM FOR VULNERABILITY DETECTION

von Li, Zhen
Veröffentlicht in Network and Distributed System Security Symposium (25. : 2018 : San Diego, Calif.) Network and Distributed System Security Symposium 2018 ; Volume 1 of 2 (2020)