YAARX: Yet Another ARX Toolkit  0.1
 All Data Structures Files Functions Variables Macros Pages
xdp-and.cc File Reference

The XOR differential probability of AND $\mathrm{xdp}^{\wedge}(da,db \rightarrow db)$. More...

#include "common.hh"
#include "xdp-and.hh"

Functions

void xdp_and_sf (uint32_t A[2][2][2])
 
void xdp_and_bf (uint32_t A[2][2][2])
 
double xdp_and (uint32_t A[2][2][2], uint32_t da, uint32_t db, uint32_t dc)
 
bool xdp_and_is_nonzero (uint32_t da, uint32_t db, uint32_t dc)
 
double xdp_and_exper (uint32_t da, uint32_t db, uint32_t dc)
 

Detailed Description

The XOR differential probability of AND $\mathrm{xdp}^{\wedge}(da,db \rightarrow db)$.

Author
V.Velichkov, vesse.nosp@m.lin..nosp@m.velic.nosp@m.hkov.nosp@m.@uni..nosp@m.lu
Date
2012-2013

Function Documentation

double xdp_and ( uint32_t  A[2][2][2],
uint32_t  da,
uint32_t  db,
uint32_t  dc 
)

The XOR DP of Boolean AND: efficient computation using pre-computed matrices

void xdp_and_bf ( uint32_t  A[2][2][2])

The XOR DP of Boolean AND: compute matrices using closed Boolean function (BF):

adp-and(da,db->dc) = 2^{-2n} ( 4 (~da_i & ~db_i & ~dc_i) + 2 (~(~da_i & ~db_i)) )

double xdp_and_exper ( uint32_t  da,
uint32_t  db,
uint32_t  dc 
)

The XOR DP of Boolean AND: experimental computation.

void xdp_and_sf ( uint32_t  A[2][2][2])

The XOR DP of Boolean AND: compute matrices using S-function.