bend-osdev-aes

Releases (1)

• 0.1.0.0 indexed

Definitions (138)

aes.bend

• def aes.mask_keys
• def aes.scheda schedule with every round key byte masked
• def aes.isub_wInvSubBytes: the inverse S-box on every byte
• def aes.inv_sub
• def aes.inv_shiftInvShiftRows: row r moves r columns to the right
• def aes.c9InvMixColumns: each column times {0e, 0b, 0d, 09}, rotated per row a byte times {09}, {0b}, {0d}, {0e}: x^3 + 1, x^3 + x + 1, x^3 + x^2 + 1, x^3 + x^2 + x, as sums of doublings
• def aes.c11
• def aes.c13
• def aes.c14
• def aes.m9the same products of a word's low byte
• def aes.m11
• def aes.m13
• def aes.m14
• def aes.imix0
• def aes.imix_w
• def aes.inv_mix
• def aes.inv_roundA round undone (round key k): AddRoundKey, InvMixColumns, InvShiftRows, InvSubBytes; the last round has no MixColumns to undo
• def aes.inv_last
• def aes.inv_roundsbend-collections' rounds (n full rounds, then the last, a round key each) undone, the last round key first
• def aes.inv_cipherbend-collections' cipher (AddRoundKey with the first round key, then the rounds) undone
• def aes.state16a block's 16 bytes as a state, and back
• def aes.state_in
• def aes.out
• type CmAesKeyAn expanded AES key: bend-collections' schedule (the number of rounds and the round keys), for encryption and decryption alike.
• def aes.key.go
• def aes.key.pick
• def CmAes.keya 16-byte (AES-128) or 32-byte (AES-256) key
• def CmAes.key128
• def CmAes.key192
• def CmAes.key256
• def aes.of_maybe
• def CmAes.encryptone block, encrypted (bend-collections' encrypt_block)
• def CmAes.preparethe key as it is: decryption needs nothing beyond the schedule (kept so that callers written for an earlier version, which computed decryption round keys here, still build)
• def aes.decrypt_with
• def CmAes.decryptone block, decrypted (the inverse cipher above)

check.bend

• def err
• def res
• def main