Jazzline at CCS 2025

We are delighted that the paper submitted by members of the Formosa Crypto group, “Jazzline: Composable CryptoLine functional correctness proofs for Jasmin programs”, is the recipient of a Distinguished Paper Award at CCS 2025 in Taiwan!

Authors of the Jazzline paper that attended CCS 2025.

Others at CCS 2025