Testing & Automation

• A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software: This paper contributes to broaden the discussion on tools and techniques in cryptographic programming and verification [BD15]
• A property-based testing framework for encryption programs: In this paper, the author propose a property-based approach to testing encryption programs in the absence of oracles. [SWW14]
• Automation of the Cryptographic Module Validation Program (CMVP): This paper documents the project background and proposed scenarios for the the CMVP (Cryptographic Module Validation Program). [V21]
• Evaluation Framework for Security and Resource Consumption of Cryptographic Algorithms: In this paper, the authors present a framework for testing and evaluating cryptographic algorithms. [DMV15]
• Extending NIST’s CAVP Testing of Cryptographic Hash Function Implementations: This paper describes a vulnerability in Apple’s CoreCrypto library, which affects 11 out of the 12 implemented hash functions. [MC20]
• Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange: Framework for the security analysis of hybrid authenticated key exchange protocols and Introduction of the Muckle protocol [DHP20]
• Systematic Testing of Post-Quantum Cryptographic Implementations Using Metamorphic Testing: Investigates the effectiveness of a systematic testing approach for discovering bugs in highly complex cryptographic algorithm implementations. [PRK19]
• THE POWER OF NIST CRYPTOGRAPHIC STATISTICAL TESTS SUITE: This paper focuses on the open question regarding the correlation and the power of the NIST statistical test suite. [SB19]
• Topics in Cryptology – CT-RSA 2020: The Cryptographers’ Track at the RSA Conference 2020, San Francisco, CA, USA, February 24–28, 2020, Proceedings: In this paper the authors formalize and study a generic framework for building tweakable block cipher based on regular block ciphers. [J20]
• Towards a Methodology for the Development of Secure Cryptographic Software: This paper proposes a methodology for development of secure cryptographic software, providing a structured way to approach cryptography into secure development methods. [BD16]