Secure Federated Boolean Count Queries Using Fully-Homomorphic Cryptography. - Alexander T. Leighton; Yun William Yu (RECOMB, 2024)