firstbacksecondback
13 Results
|
Poster
|
Tue 7:30 |
(Certified!!) Adversarial Robustness for Free! Nicholas Carlini · Florian Tramer · Krishnamurthy Dvijotham · Leslie Rice · Mingjie Sun · Zico Kolter |
|
|
Oral
|
Mon 2:10 |
Provable Defense Against Geometric Transformations Rem Yang · Jacob Laurel · Sasa Misailovic · Gagandeep Singh |
|
|
Poster
|
Mon 2:30 |
Provable Defense Against Geometric Transformations Rem Yang · Jacob Laurel · Sasa Misailovic · Gagandeep Singh |
|
|
Poster
|
Certified Defences Against Adversarial Patch Attacks on Semantic Segmentation Maksym Yatsura · Kaspar Sakmann · Grace Hua · Matthias Hein · Jan Hendrik Metzen |
||
|
Poster
|
Towards Robustness Certification Against Universal Perturbations Yi Zeng · Zhouxing Shi · Ming Jin · Feiyang Kang · Lingjuan Lyu · Cho-Jui Hsieh · Ruoxi Jia |
||
|
Poster
|
Wed 7:30 |
Certified Training: Small Boxes are All You Need Mark N Müller · Franziska Eckert · Marc Fischer · Martin Vechev |
|
|
Oral
|
Wed 7:00 |
Certified Training: Small Boxes are All You Need Mark N Müller · Franziska Eckert · Marc Fischer · Martin Vechev |
|
|
Poster
|
Denoising Masked Autoencoders Help Robust Classification QuanLin Wu · Hang Ye · Yuntian Gu · Huishuai Zhang · Liwei Wang · Di He |
||
|
Poster
|
Mon 2:30 |
On the Perils of Cascading Robust Classifiers Ravi Mangal · Zifan Wang · Chi Zhang · Klas Leino · Corina Pasareanu · Matt Fredrikson |
|
|
Poster
|
Tue 2:30 |
Efficient Certified Training and Robustness Verification of Neural ODEs Mustafa Zeqiri · Mark N Müller · Marc Fischer · Martin Vechev |
|
|
Poster
|
Provable Robustness against Wasserstein Distribution Shifts via Input Randomization Aounon Kumar · Alexander Levine · Tom Goldstein · Soheil Feizi |
||
|
Poster
|
DensePure: Understanding Diffusion Models for Adversarial Robustness Chaowei Xiao · Zhongzhu Chen · Kun Jin · Jiongxiao Wang · Weili Nie · Mingyan Liu · anima anandkumar · Bo Li · Dawn Song |