Improved arithmetic efficiency in TFHE through gate-level optimizations - Taşel, Faris Serdar; Saran, Ayşe Nurdan (The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use, 2025)