bibkey: meaux2021threshold authors: Pierrick Meaux year: 2021 title: On the Fast Algebraic Immunity of Threshold Functions doi: 10.1007/s12095-021-00505-y claim: “Méaux’s 2021 single-author paper labels Lemma 2 ‘([Méa19], Theorem 1)’ for the threshold-function ANF coefficient reduction; the exact lemma body remains ASSUMED-UNVERIFIED here.” strata_touched:

• D5/S3/ArithSums/A397434ThresholdAnf license: citation-only triage: anchor

Méaux 2021: fast algebraic immunity of threshold functions

Méaux’s 2021 single-author paper is On the Fast Algebraic Immunity of Threshold Functions. Its Lemma 2 title explicitly marks ([Méa19], Theorem 1), identifying the 2019 result as its source. The 2021 paper is distinct from the Carlet–Méaux direct-sums paper.

ASSUMED-UNVERIFIED: the complete body of Lemma 2 and the exact coefficient formula were not independently verified from the full 2021 article in this run; only the bibliographic identity and the title-level attribution are used as the provenance locator.

The local Lean theorem is a repository implementation of the cited reduction; the subsequent adjacent-row identity and parity classification are repository derivations.

Locator

• DOI: https://doi.org/10.1007/s12095-021-00505-y