Image de couverture de livre

Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	de Castelnau, Julien, Yu, Mingfei, De Micheli, Giovanni
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Haskell to FHE Transpiler
par: Müller, Anne, et autres
Publié: (2025)

Bidirectional Biometric Authentication Using Transciphering and (T)FHE
par: Yoo, Joon Soo, et autres
Publié: (2025)

Private Iris Recognition with High-Performance FHE
par: Ha, Jincheol, et autres
Publié: (2026)

FastFHE: Packing-Scalable and Depthwise-Separable CNN Inference Over FHE
par: Song, Wenbo, et autres
Publié: (2025)

FHE-SQL: Fully Homomorphic Encrypted SQL Database
par: Tseng, Po-Yu, et autres
Publié: (2025)

Evaluating the Indistinguishability of Logic Locking using K-Cut Enumeration and Boolean Matching
par: Cruz, Jonathan, et autres
Publié: (2026)

Chameleon: An Efficient FHE Scheme Switching Acceleration on GPUs
par: Wang, Zhiwei, et autres
Publié: (2024)

Practical Privacy-Preserving Identity Verification using Third-Party Cloud Services and FHE (Role of Data Encoding in Circuit Depth Management)
par: Mohan, Deep Inder, et autres
Publié: (2024)

AuthOr: Lower Cost Authenticity-Oriented Garbling for Arbitrary Boolean Circuits
par: Biçer, Osman, et autres
Publié: (2025)

MOZAIK: A Privacy-Preserving Analytics Platform for IoT Data Using MPC and FHE
par: Van Kenhove, Michiel, et autres
Publié: (2026)

On the Vulnerability of FHE Computation to Silent Data Corruption
par: Mu, Jianan, et autres
Publié: (2026)

Trinity: A General Purpose FHE Accelerator
par: Deng, Xianglong, et autres
Publié: (2024)

Cross-Platform Benchmarking of the FHE Libraries: Novel Insights into SEAL and Openfhe
par: Faneela, et autres
Publié: (2025)

Beyond Latency: A System-Level Characterization of MPC and FHE for PPML
par: Huang, Pengzhi, et autres
Publié: (2026)

Secure Outsourced Decryption for FHE-based Privacy-preserving Cloud Computing
par: Ma, Xirong, et autres
Publié: (2024)

How to Construct Quantum FHE, Generically
par: Gupte, Aparna, et autres
Publié: (2024)

Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware
par: Drean, Jules, et autres
Publié: (2024)

TETRIS: Composing FHE Techniques for Private Functional Exploration Over Large Datasets
par: Izabachène, Malika, et autres
Publié: (2024)

HE is all you need: Compressing FHE Ciphertexts using Additive HE
par: Mahdavi, Rasoul Akhavan, et autres
Publié: (2023)

FIDESlib: A Fully-Fledged Open-Source FHE Library for Efficient CKKS on GPUs
par: Agulló-Domingo, Carlos, et autres
Publié: (2025)

Theodosian: A Deep Dive into Memory-Hierarchy-Centric FHE Acceleration
par: Choi, Wonseok, et autres
Publié: (2025)

MAESTROCUT: Dynamic, Noise-Adaptive, and Secure Quantum Circuit Cutting on Near-Term Hardware
par: Punch, Samuel, et autres
Publié: (2025)

Quantum Key Leasing for PKE and FHE with a Classical Lessor
par: Chardouvelis, Orestis, et autres
Publié: (2023)

EFFACT: A Highly Efficient Full-Stack FHE Acceleration Platform
par: Huang, Yi, et autres
Publié: (2025)

FLASH-FHE: A Heterogeneous Architecture for Fully Homomorphic Encryption Acceleration
par: Zhang, Junxue, et autres
Publié: (2025)

Towards Building Secure UAV Navigation with FHE-aware Knowledge Distillation
par: Kaushik, Arjun Ramesh, et autres
Publié: (2024)

Meeting in the Middle: A Co-Design Paradigm for FHE and AI Inference
par: Magri, Bernardo, et autres
Publié: (2026)

PAPER: Privacy-Preserving Convolutional Neural Networks using Low-Degree Polynomial Approximations and Structural Optimizations on Leveled FHE
par: Chielle, Eduardo, et autres
Publié: (2025)

HE-LRM: Efficient Private Embedding Lookups for Neural Inference Using Fully Homomorphic Encryption
par: Garimella, Karthik, et autres
Publié: (2025)

PAC to the Future: Zero-Knowledge Proofs of PAC Private Systems
par: Repetto, Guilhem, et autres
Publié: (2026)

Beyond Controlled Noise: Achieving Symmetric FHE through Dynamic Position Shifting
par: Kara, Mostefa
Publié: (2026)

CiFHER: A Chiplet-Based FHE Accelerator with a Resizable Structure
par: Kim, Sangpyo, et autres
Publié: (2023)

Leuvenshtein: Efficient FHE-based Edit Distance Computation with Single Bootstrap per Cell
par: Legiest, Wouter, et autres
Publié: (2025)

NeuJeans: Private Neural Network Inference with Joint Optimization of Convolution and FHE Bootstrapping
par: Ju, Jae Hyung, et autres
Publié: (2023)

Scrambler: Mixed Boolean Arithmetic Obfuscation Tool Using E-graph and Equality Expansion
par: Lee, Seoksu, et autres
Publié: (2026)

SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
par: Valence, Arnaud
Publié: (2026)

Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions
par: Skees, Colton
Publié: (2024)

Hardware-Friendly Randomization: Enabling Random-Access and Minimal Wiring in FHE Accelerators with Low Total Cost
par: Rosenfeld, Ilan, et autres
Publié: (2026)

Balance-Based Cryptography: Physically Computing Any Boolean Function
par: Ruangwises, Suthee
Publié: (2025)

AMB-FHE: Adaptive Multi-biometric Fusion with Fully Homomorphic Encryption
par: Bayer, Florian, et autres
Publié: (2025)