Found 2 document(s)
Page 1 of 1
-
Testing a cellular automata construction method to obtain 9-variable cryptographic Boolean functionsWe propose a method for constructing 9-variable cryptographic Boolean functions from the iterates of 5-variable cellular automata rules. We then analyze, for important cryptographic properties of 5-variable cellular auto...
-
Cet article présente une vérification formelle par ProVerif de la proposition de l’ETSI (European Telecommunications Standards Institute) pour standardiser l’utilisation d’un protocole de distribution quantique de clé....