GitHub - Mohanad847/Extended-BP-Framework: https://eprint.iacr.org/2024/1996.pdf

This repository provides guidance on using a tool for optimizing S-box circuits while preserving nonlinear gates and AND-depth.

Please refer to "README.pdf" file.

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
code_formal		code_formal
code_results		code_results
code_target_imps		code_target_imps
log		log
Change_Circuit_Formal.py		Change_Circuit_Formal.py
Code_spac_analysis.py		Code_spac_analysis.py
Extract_XOR_information.py		Extract_XOR_information.py
LISENCE.txt		LISENCE.txt
Modification_Circuits.py		Modification_Circuits.py
Optimizer_BPD.py		Optimizer_BPD.py
Optimizer_RNBP.py		Optimizer_RNBP.py
README.md		README.md
README.pdf		README.pdf
Write_Circuit.py		Write_Circuit.py
log_reader.py		log_reader.py
main.py		main.py

Provide feedback