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

Claude Carlet Kwang Ho Kim Sihem Mesnager

Published in: Des. Codes Cryptogr. (2021)

Keyphrases

basis functions
theorem prover
neural network
machine learning
information systems
information technology
post processing
linear logic