Beyond TVLA: Anderson-Darling Leakage Assessment for Neural Network Side-Channel Leakage Detection
J\'an Mikulec, Jakub Breier, Xiaolu Hou

TL;DR
This paper introduces Anderson--Darling Leakage Assessment (ADLA), a new statistical method for detecting side-channel leakage that is more sensitive than traditional TVLA, especially in neural network implementations with countermeasures.
Contribution
The paper proposes ADLA, a novel leakage detection framework based on the Anderson--Darling test, improving sensitivity over TVLA for neural network side-channel analysis.
Findings
ADLA outperforms TVLA in detecting leakage with fewer traces.
ADLA effectively detects leakage in protected neural network implementations.
The method applies the full distribution comparison, capturing higher-order differences.
Abstract
Test Vector Leakage Assessment (TVLA) based on Welch's -test has become a standard tool for detecting side-channel leakage. However, its mean-based nature can limit sensitivity when leakage manifests primarily through higher-order distributional differences. As our experiments show, this property becomes especially crucial when it comes to evaluating neural network implementations. In this work, we propose Anderson--Darling Leakage Assessment (ADLA), a leakage detection framework that applies the two-sample Anderson--Darling test for leakage detection. Unlike TVLA, ADLA tests equality of the full cumulative distribution functions and does not rely on a purely mean-shift model. We evaluate ADLA on a multilayer perceptron (MLP) trained on MNIST and implemented on a ChipWhisperer-Husky evaluation platform. We consider protected implementations employing shuffling and random jitter…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRadiation Effects in Electronics · Security and Verification in Computing · Low-power high-performance VLSI design
