/

xvzcf/VeriFrodo

(Work in progress) High-assurance FrodoKEM-640-SHAKE through Jasmin and EasyCrypt.

CStars 14Forks 2Watchers 14Open issues 2License Other

Details

仓库信息

Ownerxvzcf

Homepage—

Last pushed2022-01-28

Last updated2025-12-13

Issues fetched at—

Stats

Community at a glance