Cryptographic Boolean Functions in Lean

References🔗

Bibliography (13)