bend-osdev-legacy-ciphers

Releases (1)

• 0.1.0.0 indexed

Definitions (970)

aria.bend

• def aria.sb1BEGIN GENERATED by gen/tables.py: sboxes SB1 (RFC 5794, 2.4.2; the AES S-box), on a byte's bits, least significant first
• def aria.sb2SB2 (RFC 5794, 2.4.2)
• def aria.sb3SB3, the inverse of SB1
• def aria.sb4SB4, the inverse of SB2
• type LcAriaStThe state: the block's sixteen bytes, each as its eight bits, least significant first (internal)

PROOF.bend

• def aria_e13
• def aria_e14
• def aria_e15
• def aria_e16
• def aria_e17
• def aria_e18
• def aria_e19
• def aria_e20
• def aria_e21
• def aria_d0the first j steps undone, last first, and the reverse
• def aria_dd0
• def aria_d1
• def aria_dd1
• def aria_d2
• def aria_dd2
• def aria_d3
• def aria_dd3
• def aria_d4
• def aria_dd4
• def aria_d5
• def aria_dd5
• def aria_d6
• def aria_dd6
• def aria_d7
• def aria_dd7
• def aria_d8
• def aria_dd8
• def aria_d9
• def aria_dd9
• def aria_d10
• def aria_dd10
• def aria_d11
• def aria_dd11
• def aria_d12
• def aria_dd12
• def aria_d13
• def aria_dd13
• def aria_d14
• def aria_dd14
• def aria_d15
• def aria_dd15
• def aria_d16
• def aria_dd16
• def aria_d17
• def aria_dd17
• def aria_d18
• def aria_dd18
• def aria_d19
• def aria_dd19
• def aria_d20
• def aria_dd20
• def aria_d21
• def aria_dd21
• def aria_d22
• def aria_dd22
• def aria_diff
• def aria_diffd
• def aria_blka block read back from its bytes, and the bytes from their block, on the bits
• def aria_st
• def aria_unop_op
• def aria_op_unop
• def aria_unrun_run
• def aria_run_unrun
• def rc4_go_refthe loop, for every list and state, is the structural output reversed onto what it had
• def rc4_update_ref
• def byte_xx
• def rc4_mask_xs
• def rc4_xs_xs
• def rc4_after_append
• def rc4_xs_append
• def mask_append
• def octets_of_appendOctets.of_list of an append is the append of the Octets (from bytes' laws)
• def m64_joinsthe bytes of the blocks bs in front of ys, structurally
• def m64_join_rev
• def m64_split_joins
• def bool_xx2
• def word_xx2
• def u32_xx2
• def b64_xx2
• def ecb_ref
• def cbc_enc_ref
• def cbc_dec_ref
• def tdes_rt
• def ecb_rt_des
• def cbc_rt_des
• def ecb_blocks_rt_desthe public block layers, through the structural forms
• def cbc_blocks_rt_des
• def ecb_rt_tdes
• def cbc_rt_tdes
• def ecb_blocks_rt_tdesthe public block layers, through the structural forms
• def cbc_blocks_rt_tdes
• def cbc_enc_ok
• def cbc_dec_ok
• def ecb_enc_ok
• def ecb_dec_ok