Cover Image

ILA: Correctness via Type Checking for Fully Homomorphic Encryption

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gollamudi, Tarakaram, Gollamudi, Anitha, Gancher, Joshua
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
by: Michael, Alexandra E., et al.
Published: (2022)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
by: Acay, Coşku, et al.
Published: (2024)

Leveraging ASIC AI Chips for Homomorphic Encryption
by: Tong, Jianming, et al.
Published: (2025)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
by: Waga, Masaki, et al.
Published: (2024)

Energy Consumption of TLS, Searchable Encryption and Fully Homomorphic Encryption
by: Damie, Marc, et al.
Published: (2025)

Fully Randomized Pointers
by: Phaye, Sai Dhawal, et al.
Published: (2024)

CryptOracle: A Modular Framework to Characterize Fully Homomorphic Encryption
by: Brynds, Cory, et al.
Published: (2025)

Arbitrary-Threshold Fully Homomorphic Encryption with Lower Complexity
by: Chang, Yijia, et al.
Published: (2025)

REED: Chiplet-Based Accelerator for Fully Homomorphic Encryption
by: Aikata, Aikata, et al.
Published: (2023)

The Beginner's Textbook for Fully Homomorphic Encryption
by: Ko, Ronny
Published: (2025)

Efficient Quantum Fully Homomorphic Encryption
by: Liu, Fengxia, et al.
Published: (2026)

Compile-Time Fully Homomorphic Encryption of Vectors: Eliminating Online Encryption via Algebraic Basis Synthesis
by: Zhao, Dongfang
Published: (2025)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
by: Chen, Hongyu, et al.
Published: (2026)

BlindFL: Segmented Federated Learning with Fully Homomorphic Encryption
by: Gronberg, Evan, et al.
Published: (2025)

Orion: A Fully Homomorphic Encryption Framework for Deep Learning
by: Ebel, Austin, et al.
Published: (2023)

Adapting AlphaEvolve to Optimize Fully Homomorphic Encryption on TPUs
by: Gorantala, Shruthi, et al.
Published: (2026)

Osiris: A Systolic Approach to Accelerating Fully Homomorphic Encryption
by: Ebel, Austin, et al.
Published: (2024)

SoK: Fully Homomorphic Encryption Accelerators
by: Zhang, Junxue, et al.
Published: (2022)

Enabling Privacy-preserving Model Evaluation in Federated Learning via Fully Homomorphic Encryption
by: Baykara, Cem Ata, et al.
Published: (2024)

Practical, Private Assurance of the Value of Collaboration via Fully Homomorphic Encryption
by: Asghar, Hassan Jameel, et al.
Published: (2023)

FHECore: Rethinking GPU Microarchitecture for Fully Homomorphic Encryption
by: Daksha, Lohit, et al.
Published: (2026)

Graded Modal Types for Integrity and Confidentiality
by: Marshall, Danielle, et al.
Published: (2023)

Blind Evaluation Framework for Fully Homomorphic Encryption and Privacy-Preserving Machine Learning
by: Lee, Hunjae "Timothy", et al.
Published: (2023)

Securing Biometric Data: Fully Homomorphic Encryption in Multimodal Iris and Face Recognition
by: Singh, Surendra, et al.
Published: (2024)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)

SMT-Boosted Security Types for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2025)

A Type System to Ensure Non-Interference in ReScript
by: Bennetzen, Benjamin, et al.
Published: (2024)

Practical and Private Hybrid ML Inference with Fully Homomorphic Encryption
by: Biswas, Sayan, et al.
Published: (2025)

Confidential and Protected Disease Classifier using Fully Homomorphic Encryption
by: Malik, Aditya, et al.
Published: (2024)

CHEHAB RL: Learning to Optimize Fully Homomorphic Encryption Computations
by: Sefsaf, Bilel, et al.
Published: (2026)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
by: Amorim, Arthur, et al.
Published: (2025)

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
by: Rodríguez-Flores, Luis-Armando, et al.
Published: (2026)

Cheddar: A Swift Fully Homomorphic Encryption Library Designed for GPU Architectures
by: Choi, Wonseok, et al.
Published: (2024)

TFHE-SBC: Software Designs for Fully Homomorphic Encryption over the Torus on Single Board Computers
by: Matsumoto, Marin, et al.
Published: (2025)

HE-LRM: Efficient Private Embedding Lookups for Neural Inference Using Fully Homomorphic Encryption
by: Garimella, Karthik, et al.
Published: (2025)

Outsourced Privacy-Preserving Feature Selection Based on Fully Homomorphic Encryption
by: Wakiyama, Koki, et al.
Published: (2025)

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

Reliability Analysis of Fully Homomorphic Encryption Systems Under Memory Faults
by: Rajagede, Rian Adam, et al.
Published: (2025)

Optimized Layerwise Approximation for Efficient Private Inference on Fully Homomorphic Encryption
by: Lee, Junghyun, et al.
Published: (2023)

Homomorphic Encryption: An Analysis of its Applications in Searchable Encryption
by: Amorim, Ivone, et al.
Published: (2023)