Revisited HWBF: Supporting Materials

This repository contains supplementary materials related to the paper:

"The Revisited Hidden Weight Bit Function"
Authors: Pierrick Méaux, Tim Seuré, Deng Tang
Link: https://ia.cr/2024/2022

Repository Contents

• Proof_Proposition_7.ipynb: SageMath 10.0 code used as a formal proof of Proposition 7.
• Computation_Bound_B_n.ipynb: SageMath 10.0 code corresponding to the bound $B_n$ explained in Section 5.1.

About

This repository serves as a reference for readers who wish to check the computations and code used in the paper. The materials are provided for transparency and reproducibility.