TY  - RPRT
TI  - ShannonProver: Towards Automating Formal Cryptographic Proofs
AU  - Yiping Ma
AU  - Yu-Lin Tsai
AU  - Mayank Rathee
AU  - Deevashwer Rathee
AU  - François Dupressoir
AU  - Pierre-Yves Strub
AU  - Raluca Ada Popa
PY  - 2026
UR  - https://arxiv.org/abs/2607.02847
ID  - 2607.02847
ER  -