Cover Image

A Haskell to FHE Transpiler

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Müller, Anne, Kashif, Mohd, Döttling, Nico
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Forensics of Transpiled Quantum Circuits
by: Roy, Rupshali, et al.
Published: (2024)

Bidirectional Biometric Authentication Using Transciphering and (T)FHE
by: Yoo, Joon Soo, et al.
Published: (2025)

Private Iris Recognition with High-Performance FHE
by: Ha, Jincheol, et al.
Published: (2026)

Defending Buffer Overflows in WebAssembly: A Transpiler Approach
by: Feng, Weiqi
Published: (2026)

FastFHE: Packing-Scalable and Depthwise-Separable CNN Inference Over FHE
by: Song, Wenbo, et al.
Published: (2025)

Chameleon: An Efficient FHE Scheme Switching Acceleration on GPUs
by: Wang, Zhiwei, et al.
Published: (2024)

Beyond Latency: A System-Level Characterization of MPC and FHE for PPML
by: Huang, Pengzhi, et al.
Published: (2026)

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
by: de Castelnau, Julien, et al.
Published: (2025)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
by: Sarkar, Abhiroop, et al.
Published: (2024)

Trinity: A General Purpose FHE Accelerator
by: Deng, Xianglong, et al.
Published: (2024)

Cross-Platform Benchmarking of the FHE Libraries: Novel Insights into SEAL and Openfhe
by: Faneela, et al.
Published: (2025)

Secure Outsourced Decryption for FHE-based Privacy-preserving Cloud Computing
by: Ma, Xirong, et al.
Published: (2024)

How to Construct Quantum FHE, Generically
by: Gupte, Aparna, et al.
Published: (2024)

FHE-SQL: Fully Homomorphic Encrypted SQL Database
by: Tseng, Po-Yu, et al.
Published: (2025)

FIDESlib: A Fully-Fledged Open-Source FHE Library for Efficient CKKS on GPUs
by: Agulló-Domingo, Carlos, et al.
Published: (2025)

MOZAIK: A Privacy-Preserving Analytics Platform for IoT Data Using MPC and FHE
by: Van Kenhove, Michiel, et al.
Published: (2026)

Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware
by: Drean, Jules, et al.
Published: (2024)

TETRIS: Composing FHE Techniques for Private Functional Exploration Over Large Datasets
by: Izabachène, Malika, et al.
Published: (2024)

HE is all you need: Compressing FHE Ciphertexts using Additive HE
by: Mahdavi, Rasoul Akhavan, et al.
Published: (2023)

On the Vulnerability of FHE Computation to Silent Data Corruption
by: Mu, Jianan, et al.
Published: (2026)

SafeTrans: LLM-assisted Transpilation from C to Rust
by: Farrukh, Muhammad, et al.
Published: (2025)

Theodosian: A Deep Dive into Memory-Hierarchy-Centric FHE Acceleration
by: Choi, Wonseok, et al.
Published: (2025)

EFFACT: A Highly Efficient Full-Stack FHE Acceleration Platform
by: Huang, Yi, et al.
Published: (2025)

FLASH-FHE: A Heterogeneous Architecture for Fully Homomorphic Encryption Acceleration
by: Zhang, Junxue, et al.
Published: (2025)

Meeting in the Middle: A Co-Design Paradigm for FHE and AI Inference
by: Magri, Bernardo, et al.
Published: (2026)

Quantum Key Leasing for PKE and FHE with a Classical Lessor
by: Chardouvelis, Orestis, et al.
Published: (2023)

CiFHER: A Chiplet-Based FHE Accelerator with a Resizable Structure
by: Kim, Sangpyo, et al.
Published: (2023)

Towards Building Secure UAV Navigation with FHE-aware Knowledge Distillation
by: Kaushik, Arjun Ramesh, et al.
Published: (2024)

PAPER: Privacy-Preserving Convolutional Neural Networks using Low-Degree Polynomial Approximations and Structural Optimizations on Leveled FHE
by: Chielle, Eduardo, et al.
Published: (2025)

Beyond Controlled Noise: Achieving Symmetric FHE through Dynamic Position Shifting
by: Kara, Mostefa
Published: (2026)

Practical Privacy-Preserving Identity Verification using Third-Party Cloud Services and FHE (Role of Data Encoding in Circuit Depth Management)
by: Mohan, Deep Inder, et al.
Published: (2024)

Leuvenshtein: Efficient FHE-based Edit Distance Computation with Single Bootstrap per Cell
by: Legiest, Wouter, et al.
Published: (2025)

NeuJeans: Private Neural Network Inference with Joint Optimization of Convolution and FHE Bootstrapping
by: Ju, Jae Hyung, et al.
Published: (2023)

Hardware-Friendly Randomization: Enabling Random-Access and Minimal Wiring in FHE Accelerators with Low Total Cost
by: Rosenfeld, Ilan, et al.
Published: (2026)

AMB-FHE: Adaptive Multi-biometric Fusion with Fully Homomorphic Encryption
by: Bayer, Florian, et al.
Published: (2025)

C2RUST-BENCH: A Minimized, Representative Dataset for C-to-Rust Transpilation Evaluation
by: Sirlanci, Melih, et al.
Published: (2025)

mmFHE: mmWave Sensing with End-to-End Fully Homomorphic Encryption
by: Ahmed, Tanvir, et al.
Published: (2026)

KeyMemRT Compiler and Runtime: Unlocking Memory-Scalable FHE
by: Ünay, Eymen, et al.
Published: (2026)

CAT: A GPU-Accelerated FHE Framework with Its Application to High-Precision Private Dataset Query
by: Li, Qirui, et al.
Published: (2025)

NeuroTrace: Inference Provenance-Based Detection of Adversarial Examples
by: Hmida, Firas Ben, et al.
Published: (2026)