External Uses

This page lists external projects that use ProofFrog. See the Publications & More for outputs from the ProofFrog team.

If you are using ProofFrog in your own project and would like to be listed here, please file an issue at the ProofFrog GitHub repository.

---

StarFortress

A hybrid post-quantum key encapsulation mechanism construction combining a static-key Diffie–Hellman component with an IND-CCA-secure KEM. The project includes ProofFrog formalisations of the construction and several supporting reductions.

ProofFrog files to look at: the proofs and supporting scheme/game/primitive files live under proof/prooffrog/ in the repository.