Robuta

https://www.krellinst.org/csgf/conf/2019/abstracts/roy2018 Characterizing and Synthesizing CPA-Secure Block Cipher Modes | DOE CSGF Program synthesis of cryptographic algorithms requires automatically checking the security properties of the generated program. We focus on Linicrypt... block cipher modes characterizing synthesizing cpa secure https://csrc.nist.gov/pubs/sp/800/38/d/final SP 800-38D, Recommendation for Block Cipher Modes of Operation: Galois/Counter Mode (GCM) and GMAC... block cipher modes recommendation operation galois counter https://pure.kfupm.edu.sa/en/publications/scalability-evaluation-of-block-cipher-modes-of-aes-standard/ Scalability evaluation of block cipher modes of AES standard - King Fahd University of Petroleum &... block cipher modes king fahd university scalability evaluation aes