2 papers
cs.CV2025
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network
Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez +4
Semantic segmentation networks (SSNs) are central to safety-critical applications such as medical imaging and autonomous driving, where robustness under uncertainty is essential. H…
cs.CR2024
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska +2
Malware, or software designed with harmful intent, is an ever-evolving threat that can have drastic effects on both individuals and institutions. Neural network malware classificat…