speck-xor-best-trails.hh File Reference

best found trails for Speck using threshold search More...

Go to the source code of this file.

Variables
differential_t	g_speck32_trail_9r [SPECK_TRAIL_LEN_MAX]
differential_t	g_speck48_trail_10r [SPECK_TRAIL_LEN_MAX]
differential_t	g_speck64_trail_13r [SPECK_TRAIL_LEN_MAX]

Detailed Description

best found trails for Speck using threshold search

Author

A.Roy, V.Velichkov, arnab.nosp@m..roy.nosp@m.@uni..nosp@m.lu, vesse.nosp@m.lin..nosp@m.velic.nosp@m.hkov.nosp@m.@uni..nosp@m.lu

Date

2012-2013

Variable Documentation

differential_t g_speck32_trail_9r[SPECK_TRAIL_LEN_MAX]

Initial value:

= {
  { 0xA60, 0x4205, 0, 1.0}, 
  { 0x211,  0xA04, 0, 0.031250}, 
  {0x2800,   0x10, 0, 0.062500}, 
  {  0x40,    0x0, 0, 0.250000}, 
  {0x8000, 0x8000, 0, 1.000000}, 
  {0x8100, 0x8102, 0, 0.500000}, 
  {0x8000, 0x840A, 0, 0.250000}, 
  {0x850A, 0x9520, 0, 0.062500}, 
  {0x802A, 0xD4A8, 0, 0.015625}, 
  {  0xA8, 0x520B, 0, 0.007812},  
  {0, 0, 0, 0.0},                                        
  {0, 0, 0, 0.0},                                        
  {0, 0, 0, 0.0},                                        
  {0, 0, 0, 0.0}                                         
}

differential_t g_speck48_trail_10r[SPECK_TRAIL_LEN_MAX]

Initial value:

= {
  {   0x88A, 0x484008, 0, 1.0}, 
  {0x424000,   0x4042, 0, 0.031250}, 
  {   0x202,  0x20012, 0, 0.062500}, 
  {    0x10, 0x100080, 0, 0.125000}, 
  {    0x80, 0x800480, 0, 0.250000}, 
  {   0x480,   0x2084, 0, 0.250000}, 
  {0x802080, 0x8124A0, 0, 0.125000}, 
  {  0xA480,  0x98184, 0, 0.015625}, 
  {0x888020, 0xC48C00, 0, 0.007812}, 
  {0x240480,   0x6486, 0, 0.007812}, 
  {0x800082, 0x8324B2, 0, 0.015625}, 
  {0, 0, 0, 0.0},                                        
  {0, 0, 0, 0.0},                                        
  {0, 0, 0, 0.0}                                         
}

differential_t g_speck64_trail_13r[SPECK_TRAIL_LEN_MAX]

Initial value:

= {
  {  0x802490, 0x10800004, 0, 1.0}, 
  {0x80808020,  0x4808000, 0, 0.031250}, 
  {0x24000080,    0x40080, 0, 0.031250}, 
  {0x80200080, 0x80000480, 0, 0.125000}, 
  {  0x802480,   0x800084, 0, 0.062500}, 
  {0x808080A0, 0x84808480, 0, 0.031250}, 
  {0x24000400,    0x42004, 0, 0.015625}, 
  {  0x202000,    0x12020, 0, 0.062500}, 
  {   0x10000,    0x80100, 0, 0.125000}, 
  {   0x80000,   0x480800, 0, 0.250000}, 
  {  0x480000,  0x2084000, 0, 0.125000}, 
  { 0x2080800, 0x124A0800, 0, 0.062500}, 
  {0x12480008, 0x80184008, 0, 0.007812}, 
  {0x880A0808, 0x88C8084C, 0, 0.007812}  
}