2 papers
cs.CR2026
Differential Zonotopes for Verifying Global Robustness of DNNs
Anagha Athavale, Samuel Teuber, Matteo Maffei +3
The robustness of deep neural networks (DNNs) is critical in security-sensitive applications, where small input perturbations should not alter model predictions. This property is c…
cs.CR2025
Wanilla: Sound Noninterference Analysis for WebAssembly
Markus Scherer, Jeppe Fredsgaard Blaabjerg, Alexander Sjösten +1
WebAssembly (Wasm) is rapidly gaining popularity as a distribution format for software components embedded in various security-critical domains. Unfortunately, despite its prudent…