Recent News

Paper accepted at ACSAC’21

By Wenchao LiAugust 29th, 2021

Penny's paper "MISA: Online Defense of Trojaned Models using Misattributions" has been accepted at ACSAC'21. Congratulations to Penny and our collaborators at SRI International.

New paper accepted at RV’20.

By Wenchao LiAugust 19th, 2020

Congratulations to Weichao and our collaborators! This paper introduces the concepts of policy repair and minimally deviating policy repair for learning-based controllers.

New paper accepted at EMSOFT’20

By Wenchao LiJuly 7th, 2020

Our paper "Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks" has been accepted to EMSOFT 2020. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!

New tool paper accepted at ATVA’20

By Wenchao LiJune 25th, 2020

Our tool paper "ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems" has been accepted to ATVA 2020. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!