EasyChair Smart SlideUser guide
Author: Corina Păsăreanu

This page shows all presentations of this author published in EasyChair Smart Slide.

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks

Muhammad Usman, Divya Gopinath, Youcheng Sun and Corina S. Pasareanu

Self-Correcting Neural Networks for Safe Classification

Self-Correcting Neural Networks for Safe Classification

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno and Corina Pasareanu

A Cascade of Checkers for Run-Time Certification of Local Robustness

A Cascade of Checkers for Run-Time Certification of Local Robustness

Ravi Mangal and Corina Pasareanu

VPN: Verification of Poisoning in Neural Networks

VPN: Verification of Poisoning in Neural Networks

Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Păsăreanu

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair