CLAASP: Cryptographic Library for Automated Analysis of Symmetric Primitives

This is a sample reference manual for CLAASP.

To use this module, you need to import it:

from claasp import *

This reference shows a minimal example of documentation of CLAASP following SageMath guidelines.

• Compound xor differential cipher
• Cipher
• Input
• Editor
• Component
• Round
• Rounds

Cipher modules

• Algebraic tests
• Component analysis tests
• Generic word based c functions
• Evaluator
• Avalanche tests
• Tester
• Report
• Generic functions vectorized bit
• Generic functions vectorized byte
• Generic bit based c functions
• Graph generator
• Generic functions continuous diffusion analysis
• Generic word based c functions
• Continuous diffusion analysis
• Inverse cipher
• Generic functions
• Neural network tests
• Generic bit based c functions
• Code generator

Models

• Utils

Cp

• Cp model
• Solvers

Cp models

• Cp xor linear model
• Cp deterministic truncated xor differential model
• Cp impossible xor differential model
• Cp xor differential model
• Cp xor differential trail search fixing number of active sboxes model
• Cp xor differential number of active sboxes model
• Cp cipher model

Minizinc utils

• Usefulfunctions

Milp

• Milp model
• Solvers

Utils

• Dictionary containing truncated mds inequalities
• Generate inequalities for wordwise truncated mds matrices
• Generate sbox inequalities for trail search
• Dictionary that contains inequalities for sboxes with undisturbed bits
• Milp name mappings
• Dictionary that contains inequalities for large sboxes xor linear
• Mzn predicates
• Generate inequalities for and operation 2 input bits
• Generate inequalities for xor with n input bits
• Dictionary that contains inequalities for large sboxes
• Milp truncated utils
• Utils
• Dictionary containing truncated xor inequalities between n input bits
• Generate undisturbed bits inequalities for sboxes
• Dictionary that contains inequalities for small sboxes xor linear
• Dictionary containing xor inequalities between n input bits
• Generate inequalities for large sboxes
• Dictionary that contains inequalities for small sboxes
• Dictionary containing truncated input pattern inequalities
• Generate inequalities for wordwise truncated xor with n input bits

Tmp

• Tea cipher xordiff model

Milp models

• Milp wordwise deterministic truncated xor differential model
• Milp bitwise deterministic truncated xor differential model
• Milp xor linear model
• Milp bitwise impossible xor differential model
• Milp wordwise impossible xor differential model
• Milp xor differential model
• Milp cipher model

Sat

• Sat model
  • SAT standard of Cipher
  • SAT Solvers
• Solvers
  • Available SAT solvers

Cms models

• Cms bitwise deterministic truncated xor differential model
  • CMS Deterministic Truncated XOR Differential of a cipher
• Cms xor linear model
  • CMS XOR LINEAR model of a cipher
• Cms xor differential model
  • CMS XOR Differential of a cipher
• Cms cipher model
  • CMS cipher model of a cipher

Utils

• Mzn predicates
• N window heuristic helper
• Utils
  • General
  • Direct building of CNFs representing boolean equalities
  • Running SAT solver

Sat models

• Sat bitwise deterministic truncated xor differential model
• Sat xor differential model
• Sat xor linear model
• Sat cipher model

Smt

• Smt model
  • SMT standard of Cipher
• Solvers
  • Available SMT solvers

Smt models

• Smt xor differential model
• Smt cipher model
• Smt deterministic truncated xor differential model
• Smt xor linear model

Utils

• Utils

Minizinc

• Minizinc model

Utils

• Mzn bct predicates
• Utils

Minizinc models

• Minizinc deterministic truncated xor differential model
• Minizinc cipher model
• Minizinc boomerang model
• Minizinc xor differential model

Algebraic

• Boolean polynomial ring
• Algebraic model
• Constraints

Statistical tests

• Dieharder statistical tests
• Dataset generator
• Nist statistical tests
• Input data example

Utils

• Templates
• Sequence operations
• Sage scripts
• Integer functions
• Utils
• Integer

Ciphers

Stream ciphers

• Chacha stream cipher
• Zuc stream cipher
• Bluetooth stream cipher e0
• Trivium stream cipher
• Bivium stream cipher
• Snow3g stream cipher
• A5 2 stream cipher
• A5 1 stream cipher

Permutations

• Xoodoo invertible permutation
• Keccak invertible permutation
• Xoodoo permutation
• Gaston permutation
• Grain core permutation
• Photon permutation
• Spongent pi permutation
• Spongent pi fsr permutation
• Chacha permutation
• Tinyjambu permutation
• Gimli permutation
• Gimli sbox permutation
• Salsa permutation
• Xoodoo sbox permutation
• Gift permutation
• Tinyjambu fsr 32bits word permutation
• Spongent pi precomputation permutation
• Util
• Ascon permutation
• Keccak sbox permutation
• Ascon sbox sigma no matrix permutation
• Gaston sbox permutation
• Ascon sbox sigma permutation
• Gift sbox permutation
• Keccak permutation
• Sparkle permutation
• Tinyjambu 32bits word permutation

Block ciphers

• Des exact key length block cipher
• Bea1 block cipher
• Rc5 block cipher
• Speedy block cipher
• Des block cipher
• Speck block cipher
• Present block cipher
• Hight block cipher
• Aes block cipher
• Raiden block cipher
• Midori block cipher
• Simon block cipher
• Lea block cipher
• Scarf block cipher
• Lblock block cipher
• Tea block cipher
• Skinny block cipher
• Kasumi block cipher
• Identity block cipher
• Constant block cipher
• Qarmav2 block cipher
• Lowmc block cipher
• Twofish block cipher
• Qarmav2 with mixcolumn block cipher
• Lowmc generate matrices
• Fancy block cipher
• Sparx block cipher
• Threefish block cipher
• Xtea block cipher

Hash functions

• Whirlpool hash function
• Blake2 hash function
• Md5 hash function
• Sha1 hash function
• Sha2 hash function
• Blake hash function

Toys

• Toyspn2
• Toyspn1

Components

• Modadd component
• Theta xoodoo component
• Reverse component
• Xor component
• Cipher output component
• Multi input non linear logical operator component
• Linear layer component
• Theta keccak component
• Word permutation component
• Constant component
• Sbox component
• Variable rotate component
• Modular component
• Rotate component
• Fsr component
• Concatenate component
• Shift component
• Not component
• Or component
• Shift rows component
• And component
• Intermediate output component
• Mix column component
• Variable shift component
• Modsub component
• Permutation component
• Sigma component

General Information

• Bibliographic References

Indices and Tables

• Index

• Module Index

• Search Page