research
∙
05/31/2023
Incremental Randomized Smoothing Certification
Randomized smoothing-based certification is an effective approach for ob...
share
research
∙
04/17/2023
TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators
Over the past few years, the explosion in sparse tensor algebra workload...
research
∙
04/04/2023
Incremental Verification of Neural Networks
Complete verification of deep neural networks (DNNs) can exactly determi...
research
∙
12/09/2020
Secure Medical Image Analysis with CrypTFlow
We present CRYPTFLOW, a system that converts TensorFlow inference code i...
research
∙
09/14/2018