Watch peterhao89/PRS-sc25

PRS parallel sat solver

Watch peterhao89/PRS

并行SAT求解框架

Watch pqcrypto/PQMagic

Post-Quantum Magic Project.

Watch peterhao89/C++密码demo

Watch peterhao89/ks-meson-template

Watch peterhao89/旧代码

Watch peterhao89/密码模型生成器

用图结构描述密码算法并生成相应的组合优化模型文件

Watch peterhao89/tfhe-rs

Watch peterhao89/Nostalgia-cipher

FSE 2025 paper https://tosc.iacr.org/index.php/ToSC/article/view/12609

Watch peterhao89/CryptobibExport

https://cryptobib.di.ens.fr/