research
∙
09/07/2021
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers
Neural Networks are used today in numerous security- and safety-relevant...
share
research
∙
05/15/2021
Delay-Bounded Scheduling Without Delay! (Extended Technical Report)
We consider the broad problem of analyzing safety properties of asynchro...
research
∙
05/24/2019
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)
We address the problem of analyzing asynchronous event-driven programs, ...
research
∙
04/13/2018