AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

2 papers

Cryptography and Security · 2 matches

178cs.CR

Correlation immunity of the Boolean functions built from mutually orthogonal cellular automata: the exhaustive classification for local rules of diameter at most six

PDF

A bipermutive local rule of diameter d over 𝔽₂ induces a Latin square of order 2ᵈ⁻¹; k rules whose squares are pairwise orthogonal form a set of k mutually orthogonal cellular automata (k-MOCA), and Mariot and Manzoni (arXiv:2207.08280; AUTOMATA 2023) prov…

Cryptography and SecurityAI reviewed · Human review openChecked 2026-09-07

Contribute a review

Evidence summary

37 Lean theorems · 11 stated results · 5 source-labelled candidates. Lean build reported passed by the source. Inspect claims

315cs.CR

The distance from a vectorial Boolean function to the affine functions: certified values for n ≤ 4, and maximizers that are not APN

PDF

For an (n,m)-function F:𝔽₂ⁿ → 𝔽₂ᵐ let d_(A)(F) be the minimum Hamming distance from F to an affine function, and let M(n)=max{d_(A)(F)} over (n,n)-functions. Problem 11 of the Eighth International Olympiad in Cryptography (NSUCRYPTO'2021) asks for functio…

Cryptography and SecurityAI reviewed · Human review openChecked 2026-09-03

Contribute a review

Evidence summary

106 Lean theorems · 8 stated results · 1 source-labelled candidates. Lean build reported passed by the source. Inspect claims