Privacy-Preserving and Efficient Verification of the Outcome in Genome-Wide Association StudiesAnisa HalimiLeonard Dervishiet al.2022PETS 2022