Software
Libraries I authored or co-authored, and the code behind each paper. Most of it is on GitHub.
Libraries
MOSFHET
Optimized C library for TFHE: functional and multi-value bootstrapping, blind-rotation unfolding, AVX-512 FFT, and the main TFHE improvements from the literature in one place.
C
See paper · antoniocgj/MOSFHET →The vfhe library
The first open-source library dedicated to verifiable FHE: zero-knowledge proofs, fully homomorphic encryption and related techniques.
PythonApache-2.0
vfhe.ai · vfhe/vfhe →RISC-V ALE
RISC-V Assembly Learning Environment: a browser-based RISC-V simulator with virtual devices, built for teaching assembly programming.
JavaScript
See paper · antoniocgj/RISC-V-ALE →Paper artifacts
-
2027Asynchronous threshold decryption for FHE (IEEE S&P 2027).
-
2026Parallel low-latency CKKS bootstrapping on CPU (preprint, 2026).
-
2026Verifiable computation for CKKS: BatchFold, packing and SparsePack (ASIACRYPT 2026).
-
2026Homomorphic evaluation of ChaCha for post-quantum transciphering (PQCrypto 2026), hosted on Unicamp's GitLab.
-
2025Homomorphic evaluation of the Nostalgia filtered-LFSR cipher (ToSC 2025).
-
2025Implementation for the CCS 2025 paper.
-
2025Encrypted WiSARD training framework (ACNS 2025), maintained by Leonardo Neumann.
-
2025Leveled homomorphic evaluation of Margrethe and other MFP ciphers (TCHES 2025).
-
2024Proof-of-concept FRI over homomorphically encrypted Reed–Solomon codewords (ASIACRYPT 2024).
-
2023Implementation for the ASIACRYPT 2023 paper (double-CRT GSW, shrinking).
-
2021Functional bootstrap experiments for the TCHES 2021 paper.
-
2019AVX-512 constant-time implementation of QC-MDPC code-based cryptography (CCPE 2019, CBC 2019).