1. 2018. Cingulata. (2018). https://github.com/CEA-LIST/Cingulata
2. 2018. The Crucible Symbolic Simulator. (2018). https://github.com/GaloisInc/crucible
3. 2018. TFHE: Fast Fully Homomorphic Encryption Library over the Torus. (2018).https://github.com/tfhe/tfhe
4. 2018. The Z3 Theorem Prover. (2018). https://github.com/Z3Prover/z3
5. David W. Archer, Jose Manuel Calderon Trilla, Jason Dagit, Alex J. Malozemoff, Yuriy Polyakov, Kurt Rohloff, and Gerard Ryan. 2019. RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications. Cryptology ePrint Archive, Report 2019/988. (2019). https://eprint.iacr.org/2019/988.