Parallel Verification of Serial MAC and AE Modes.

Kazuhiko Minematsu Akiko Inoue Katsuya Moriwaki Maki Shigeri Hiroyasu Kubo

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

search algorithm
model checking
parallel processing
parallel implementation
massively parallel
databases
neural network
formal methods
parallel programming
verification method