A direct proof of APN-ness of the Kasami functions.

Claude Carlet Kwang Ho Kim Sihem Mesnager

Published in: CoRR (2020)

Keyphrases

basis functions
decision making

high level
bayesian networks

theorem prover

theorem proving