research
∙
09/09/2023
Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)
In concurrent verification, separation logic provides a strong story for...
share
research
∙
08/29/2022
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Most programs compiled to WebAssembly (Wasm) today are written in unsafe...
research
∙
07/23/2021
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair
Neural networks are increasingly being deployed in contexts where safety...
research
∙
02/12/2020
Fast Geometric Projections for Local Robustness Certification
Local robustness ensures that a model classifies all inputs within an ϵ-...
research
∙
01/22/2020