DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Oral Presentation, ISSTA 2025, Trondheim, Norway
Talks and presentations
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation
Poster, Seattle Convention Center, Seattle, US
