research
∙
01/31/2022
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions
The most scalable approaches to certifying neural network robustness dep...
share
research
∙
09/21/2020
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
As neural networks make their way into safety-critical systems, where mi...
research
∙
07/20/2020
DiffRNN: Differential Verification of Recurrent Neural Networks
Recurrent neural networks (RNNs) such as Long Short Term Memory (LSTM) n...
research
∙
01/10/2020
ReluDiff: Differential Verification of Deep Neural Networks
As deep neural networks are increasingly being deployed in practice, the...
research
∙
09/12/2019
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
Compression is an emerging source of exploitable side-channel leakage th...
research
∙
07/09/2018