A Haskell to FHE Transpiler With Circuit Parallelisation

Fully Homomorphic Encryption (FHE) enables the evaluation of programs directly on encrypted data. However, because only basic operations can be performed on ciphertexts, programs must be expressed as boolean or arithmetic circuits. This low-level representation makes implementing applications for FHE significantly more cumbersome than writing code in a high-level language.

Authors

Institutions

Publication Details

Published
2025-09-22
DOI
https://doi.org/10.1145/3733811.3767311
Primary Topic
Cryptographic Implementations and Security
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

A Haskell to FHE Transpiler With Circuit Parallelisation

Anne Müller, Mohd Kashif, Nico Döttling
Cryptographic Implementations and Security
article

A Haskell to FHE Transpiler With Circuit Parallelisation

Anne Müller, Mohd Kashif, Nico Döttling
article en

Abstract

Fully Homomorphic Encryption (FHE) enables the evaluation of programs directly on encrypted data. However, because only basic operations can be performed on ciphertexts, programs must be expressed as boolean or arithmetic circuits. This low-level representation makes implementing applications for FHE significantly more cumbersome than writing code in a high-level language.

Helmholtz Center for Information Security (DE)
European Commission
Openalex Percentile: Top 81%
Cryptographic Implementations and Security
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

A Haskell to FHE Transpiler With Circuit Parallelisation — Anne Müller, Mohd Kashif, et al. · (2025) | TGRS Research Map | TGRS