SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data. - Yanguo Peng; Rongqiao Liu; Jingjing Guo; Xiyue Gao; Luyuan Huang; Yaofeng Tu (Formal Aspects Comput., 2024)