Salvato in:
Dettagli Bibliografici
Autori principali: Fink, Xaver, Adiego, Borja Fernandez, Mirarchi, Daniele, Matheson, Eloise, Gonzales, Alvaro Garcia, Ricci, Gianmarco, Katoen, Joost-Pieter
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:https://arxiv.org/abs/2604.06289
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866910110024990720
author Fink, Xaver
Adiego, Borja Fernandez
Mirarchi, Daniele
Matheson, Eloise
Gonzales, Alvaro Garcia
Ricci, Gianmarco
Katoen, Joost-Pieter
author_facet Fink, Xaver
Adiego, Borja Fernandez
Mirarchi, Daniele
Matheson, Eloise
Gonzales, Alvaro Garcia
Ricci, Gianmarco
Katoen, Joost-Pieter
contents In this paper, we analyze and improve the adversarial robustness of a convolutional neural network (CNN) that assists crystal-collimator alignment at CERN's Large Hadron Collider (LHC) by classifying a beam-loss monitor (BLM) time series during crystal rotation. We formalize a local robustness property for this classifier under an adversarial threat model based on real-world plausibility. Building on established parameterized input-transformation patterns used for transformation- and semantic-perturbation robustness, we instantiate a preprocessing-aware wrapper for our deployed time-series pipeline: we encode time-series normalization, padding constraints, and structured perturbations as a lightweight differentiable wrapper in front of the CNN, so that existing gradient-based robustness frameworks can operate on the deployed pipeline. For formal verification, data-dependent preprocessing such as per-window z-normalization introduces nonlinear operators that require verifier-specific abstractions. We therefore focus on attack-based robustness estimates and pipeline-checked validity by benchmarking robustness with the frameworks Foolbox and ART. Adversarial fine-tuning of the resulting CNN improves robust accuracy by up to 18.6 % without degrading clean accuracy. Finally, we extend robustness on time-series data beyond single windows to sequence-level robustness for sliding-window classification, introduce adversarial sequences as counterexamples to a temporal robustness requirement over full scans, and observe attack-induced misclassifications that persist across adjacent windows.
format Preprint
id arxiv_https___arxiv_org_abs_2604_06289
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment
Fink, Xaver
Adiego, Borja Fernandez
Mirarchi, Daniele
Matheson, Eloise
Gonzales, Alvaro Garcia
Ricci, Gianmarco
Katoen, Joost-Pieter
Cryptography and Security
Machine Learning
In this paper, we analyze and improve the adversarial robustness of a convolutional neural network (CNN) that assists crystal-collimator alignment at CERN's Large Hadron Collider (LHC) by classifying a beam-loss monitor (BLM) time series during crystal rotation. We formalize a local robustness property for this classifier under an adversarial threat model based on real-world plausibility. Building on established parameterized input-transformation patterns used for transformation- and semantic-perturbation robustness, we instantiate a preprocessing-aware wrapper for our deployed time-series pipeline: we encode time-series normalization, padding constraints, and structured perturbations as a lightweight differentiable wrapper in front of the CNN, so that existing gradient-based robustness frameworks can operate on the deployed pipeline. For formal verification, data-dependent preprocessing such as per-window z-normalization introduces nonlinear operators that require verifier-specific abstractions. We therefore focus on attack-based robustness estimates and pipeline-checked validity by benchmarking robustness with the frameworks Foolbox and ART. Adversarial fine-tuning of the resulting CNN improves robust accuracy by up to 18.6 % without degrading clean accuracy. Finally, we extend robustness on time-series data beyond single windows to sequence-level robustness for sliding-window classification, introduce adversarial sequences as counterexamples to a temporal robustness requirement over full scans, and observe attack-induced misclassifications that persist across adjacent windows.
title Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment
topic Cryptography and Security
Machine Learning
url https://arxiv.org/abs/2604.06289