There is a newer version of the record available.

Published December 24, 2025 | Version v1
Software Open

chacha20-poly1305-verification

Authors/Creators

  • 1. ROR icon Beijing University of Posts and Telecommunications

Description

本项目包含 ChaCha20 流密码和 Poly1305 消息认证码的形式化验证实现和证明,重点关注两个主要实现:

  • OpenSSL 实现验证
  • OpenHITLS 实现验证

Files

chacha20-poly1305-verification.zip

Files (137.7 kB)

Name Size Download all
md5:6c2ae97e9288efaccb6eec5d14815971
137.7 kB Preview Download

Additional details

Dates

Available
2025-12

Software

Repository URL
https://github.com/TACSL/chacha20-poly1305-verification