Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing

Automated Cryptographic Validation Protocol (ACVP) 是一种现有的协议，用于自动验证软件或硬件加密模块。本文介绍了一种系统，提供了用于以 ACVP 格式生成覆盖全面的密码库测试的方法和工具。该系统通过使用混合式密码原语模糊测试方法，实现了比现有模糊测试方法更好的覆盖率。此外，该系统提供了一个框架，可以轻松安全地创建密码库测试模块。本研究展示了如何使用该系统来改进 NSS（网络安全服务）这一流行的密码库的自动化测试，检测其漏洞并提出改进和进一步开发 ACVP 测试格式的建议。

如何通过使用混合方法来模糊密码原语，以提高自动化加密模块验证协议（ACVP）的测试覆盖率？

使用混合方法来模糊密码原语，包括黑盒和白盒测试，以生成ACVP格式的覆盖全面的测试用例。

该系统提供了一个框架，可以轻松安全地为密码库创建测试模块，并演示了如何使用该系统来改进NSS的自动化测试，检测其漏洞并提出改进和进一步开发ACVP测试格式的建议。

最近的相关研究包括：1）使用符号执行来测试密码库；2）基于模糊测试的密码库测试；3）使用深度学习来加速密码库测试等。