Submitted:
04 August 2026
Posted:
13 August 2026
You are already at the latest version
Abstract
Homomorphic encryption (HE) enables computation on encrypted data and has emerged as a promising technology for privacy-preserving distributed analytics. However, the practical deployment of HE in large-scale hierarchical systems requires a thorough understanding of its computational overhead, scalability, and accuracy. This paper presents a generic hierarchical benchmarking framework for systematically evaluating homomorphic encryption schemes in multi-level aggregation environments. The framework supports configurable aggregation topologies, detailed operation-level profiling, and multiple encryption backends, enabling consistent and reproducible performance analysis across node-, cluster-, and global-level aggregation stages. Using the proposed framework, we conduct a comparative evaluation of the Brakerski/Fan-Vercauteren (BFV) and Cheon-Kim-Kim-Song (CKKS) schemes under identical workloads. Experimental results show that CKKS consistently outperforms BFV, achieving a 44.3% reduction in aggregation latency and a 24.6% reduction in decryption latency. {For the tested encoding and parameter settings,} CKKS delivers significantly lower numerical error, reducing the mean absolute error from 3.21 × 10−3 to 5.91 × 10−10. The proposed framework offers a reusable and extensible platform for evaluating emerging HE schemes and privacy-preserving analytics applications, thereby supporting future research and deployment of secure distributed data processing systems.
Keywords:
homomorphic encryption
; distributed energy resource
; smart grid
1. Introduction
The rapid growth of distributed cyber-physical systems, Internet of Things (IoT) networks, smart grids, healthcare monitoring platforms, industrial control systems, and edge intelligence has led to unprecedented volumes of sensitive data being generated at geographically dispersed locations. While centralized data aggregation enables efficient analytics, forecasting, optimization, and decision-making, it simultaneously raises significant privacy, security, and regulatory concerns. Data collected from sensors, smart meters, wearable devices, and critical infrastructures often contain sensitive information that can reveal behavioral patterns, operational characteristics, or confidential organizational activities. Consequently, secure data aggregation mechanisms have become an important research topic in modern distributed systems [1,2,3].
Homomorphic Encryption (HE) has emerged as one of the most promising cryptographic technologies for enabling privacy-preserving computation. Unlike conventional encryption techniques that require decryption prior to processing, HE allows arithmetic operations to be performed directly on encrypted data while preserving confidentiality throughout the computation lifecycle. Since Gentry introduced the first Fully Homomorphic Encryption (FHE) scheme in 2009 [1], substantial advances have been achieved in algorithm design, noise management, bootstrapping techniques, hardware acceleration, and practical software libraries.
Among contemporary HE schemes, the Brakerski-Fan-Vercauteren (BFV) and Cheon-Kim-Kim-Song (CKKS) schemes have gained widespread adoption [4]. BFV supports exact integer arithmetic and is particularly suitable for applications requiring strict correctness guarantees, such as accounting, billing, and secure voting systems [5]. In contrast, CKKS enables approximate arithmetic over real-valued data and is therefore well suited for machine learning, signal processing, statistical analytics, and scientific computing [2,6]. Recent advances in software frameworks such as Microsoft SEAL, OpenFHE, PALISADE, and TenSEAL have further improved the accessibility and deployment of these schemes in real-world applications [6,7,8].
The application of HE has expanded significantly in recent years. Privacy-preserving federated learning has become one of the most active research areas, where encrypted model updates are aggregated without revealing local training data [9]. Similarly, encrypted data analytics, cloud computing, healthcare systems, smart infrastructure monitoring, and secure multi-party computation have increasingly adopted HE-based approaches to protect sensitive information while enabling collaborative computation [3,10]. Despite these advances, practical deployment remains challenging due to the substantial computational overhead associated with encryption, ciphertext manipulation, key switching, and bootstrapping operations.
Consequently, benchmarking and performance characterization have become critical research directions. Several recent studies have investigated acceleration techniques using GPUs, FPGAs, processing-in-memory architectures, and specialized hardware accelerators to improve the practicality of HE systems [11,12,13,14]. Comprehensive profiling and evaluation frameworks have also been proposed to quantify runtime, memory utilization, energy consumption, and scalability characteristics of modern HE libraries [15,16]. These studies collectively demonstrate that although substantial progress has been achieved, the performance of HE-based systems remains highly dependent on parameter selection, hierarchy depth, ciphertext size, and workload characteristics.
A major limitation of existing benchmarking efforts is that they often focus on isolated cryptographic primitives, machine learning workloads, or hardware-level optimizations. Comparatively little attention has been devoted to evaluating hierarchical encrypted aggregation workflows commonly encountered in smart grids, IoT infrastructures, distributed sensing systems, and multi-level operational networks. Such systems involve repeated aggregation of encrypted data across multiple organizational or geographical layers, introducing unique computational and communication challenges.
To address this gap, this paper presents a generic hierarchical homomorphic encryption benchmarking framework capable of evaluating encrypted aggregation workflows across configurable multi-level architectures. The framework supports multiple HE backends, including CKKS and BFV, while providing detailed measurements of encryption latency, decryption latency, homomorphic operation cost, memory utilization, ciphertext growth, communication overhead, and numerical accuracy. The framework further enables direct comparison of exact and approximate HE schemes under identical workloads, allowing researchers to quantify the trade-offs between computational efficiency and numerical precision.
Major Contributions
The primary contributions of this work are summarized as follows:
- C1: Development of a generic hierarchical HE benchmarking framework supporting configurable aggregation topologies and multiple encryption backends.
- C2: Comprehensive performance characterization of encrypted aggregation operations across multiple hierarchy levels.
- C3: Quantitative comparison of CKKS and BFV schemes with respect to computational overhead, scalability, ciphertext size, and aggregation accuracy.
- C4: Detailed logging and profiling of cryptographic operations, resource utilization, and communication costs.
- C5: Provision of an extensible experimental platform for future evaluation of emerging HE schemes, libraries, and privacy-preserving analytics applications.
The proposed framework provides researchers and practitioners with a reproducible environment for evaluating the practicality of homomorphic encryption in large-scale distributed cyber-physical systems and contributes toward the broader adoption of privacy-preserving computation technologies.
Outline of the Paper
The remainder of this paper is organized as follows. Section 2 provides the background on homomorphic encryption and more specifically on CKKS homomorphic encryption method. Section 3 reviews the related work, highlighting research gaps and the motivation for this study. Section 4 describes the design of the proposed SafeDER framework. Section 5 discusses the design of experiments conducted in this study and the experimental results and finally, Section 6 concludes the paper and outlines directions for future research.
2. Background
This section provides a high level background on homomorphic encryption followed by a discussion of CKKS homomorphic encryption scheme.
2.1. Homomorphic Encryption: An Overview
Homomorphic Encryption (HE) is a class of public-key cryptographic techniques that enables computations to be performed directly on encrypted data, without first decrypting it. The output of such a computation, when decrypted by the authorised key holder, yields a result identical (or approximately identical) to what would have been obtained by performing the same computation on the plaintext. This remarkable property makes homomorphic encryption a natural fit for privacy-preserving aggregation: an aggregation server can sum a collection of encrypted meter readings to produce an encrypted total, which only the authorised decryption key holder can reveal , the server itself never sees any plaintext value at any point.
Formally, a homomorphic encryption scheme satisfies the homomorphic property with respect to a plaintext operation if
where and are plaintext messages, and denote encryption and decryption, respectively, and denotes the ciphertext-domain evaluation algorithm corresponding to the plaintext operation ∘. Thus, the operation is performed on encrypted data, but after decryption, the result is equivalent to applying ∘ directly to the plaintext messages.
2.1.1. Partially Homomorphic Encryption (PHE)
Partially Homomorphic Encryption supports unlimited evaluations of exactly one operation , either addition or multiplication, but not both simultaneously. The most widely used PHE scheme in the smart grid literature is the Paillier cryptosystem, which is additively homomorphic [17]. For ciphertexts and , here, dot (·) is a multiplication operator, Paillier satisfies:
where is the RSA-style public modulus. Encryption of a message m is:
for a public generator g and a random value r. Decryption uses the private key and the function :
Paillier’s additive homomorphism is ideal for energy data aggregation, since summing meter readings requires only addition. Several other additively homomorphic schemes also appear in the reviewed literature:
- Boneh-Goh-Nissim (BGN): An additively homomorphic scheme based on bilinear groups that additionally supports one ciphertext multiplication, making it somewhat more expressive than pure-additive schemes [18].
- Additively Homomorphic ElGamal (AH-ElGamal): A variant of ElGamal encryption adapted to support additive homomorphism over elliptic curve groups [19].
- Ring-LWE-based linear schemes: Lattice-based constructions operating over polynomial rings , which support linear (additive) operations at very high efficiency and are additionally post-quantum secure [20].
2.1.2. Fully Homomorphic Encryption (FHE)
Fully Homomorphic Encryption supports arbitrary sequences of both additions and multiplications on encrypted data, enabling general-purpose computation without requiring intermediate decryption. This is achieved through a technique called bootstrapping, which “refreshes” a ciphertext whose noise level has grown too large for reliable decryption. FHE is substantially more computationally expensive than PHE, but it is the only option when the computation of interest requires multiplication of encrypted values, for example, evaluating a polynomial on encrypted inputs or performing encrypted comparisons [1].
2.2. The CKKS Scheme
The Cheon-Kim-Kim-Song (CKKS) scheme is a levelled fully homomorphic encryption scheme specifically designed for real-number and floating-point arithmetic [2]. Unlike the exact-arithmetic HE schemes BFV and BGV, which operate on integers with exact results, CKKS operates on approximate arithmetic: computations produce results that are correct to within a small, controllable rounding error. This approximation is an intentional design feature, exploiting the fact that many practical computations (including energy data aggregation) do not require exact integer arithmetic and can tolerate small floating-point errors. The approximation trade-off makes CKKS significantly more efficient than exact FHE for numerical computations.
2.2.1. Mathematical Foundation
CKKS operates over the polynomial quotient ring:
where is a power-of-two polynomial degree, denotes the ring of integers modulo the ciphertext modulus q, and is a large positive integer.
A plaintext message is represented as a vector:
which is embedded into a polynomial via the canonical embedding and scaling procedure.
This vectorized representation of m reflects the packing i.e. Single Instruction Multiple Data (SIMD) capability of CKKS, where multiple real-valued slots are encoded and encrypted simultaneously within a single ciphertext. Each ciphertext therefore operates on a packed vector of values, enabling parallel homomorphic operations over all slots.
Formally, CKKS defines an encoding map
The scheme is defined as a tuple
where each algorithm is probabilistic unless otherwise specified.
A plaintext polynomial is first scaled by a factor (typically , ), which controls the precision-noise trade-off.
Encryption is performed using a secret key:
sampled from a small-norm distribution over .
The ciphertext is a pair:
where encryption is defined as
with uniformly random and sampled from a discrete Gaussian error distribution with standard deviation .
Decryption is defined as:
followed by scaling down and rounding:
where is the approximation error induced by noise and scaling. Here, converts the decrypted polynomial representation back into the corresponding vector of approximate plaintext values.
2.2.2. Homomorphic Addition in CKKS
For ciphertexts:
encrypting and , where and are the plaintext vectors and is the CKKS scaling factor used during encoding; thus, and denote scaled encoded plaintexts rather than a homomorphic multiplication operation, homomorphic addition is defined as:
where addition is performed component-wise in .
Decryption yields:
with independent ciphertext noise terms. After decryption and rescaling by , the decoded plaintext is
where denotes the resulting approximation error induced by the accumulated ciphertext noise and the finite-precision scaling of the CKKS scheme. Throughout this work, denotes the Euclidean () norm applied to coefficient vectors in .
For sequential additions, the deterministic worst-case bound is
Under zero-mean independence assumptions, root-mean-square error growth is proportional to rather than .
This yields the homomorphic property:
Importantly, homomorphic addition does not consume the modulus-switching depth, although addition still accumulates error and practical circuit size remains constrained by the selected parameters and implementation limits.
2.2.3. CKKS Parameters and Security
The security of CKKS rests on the hardness of the Ring Learning With Errors (Ring-LWE) problem [20]. The three primary parameters are:
- Polynomial Modulus Degree (n): Determines both the security level and the number of slots ( independent real values can be packed into one ciphertext via SIMD-style batching). Larger n provides stronger security but increases ciphertext size and computation time. For 128-bit classical security, is a standard choice.
- Coefficient Modulus (q): A product of prime numbers whose total bit-width determines the available noise budget and the number of supported multiplication levels. Each prime represents one level in the modulus-switching chain; addition operations do not consume levels.
- Scale (): Controls the precision of floating-point representation. Setting provides approximately twelve decimal digits of precision, far exceeding the precision required for energy consumption data.
In this project, CKKS is instantiated via the node-seal library (a Node.js binding for Microsoft SEAL) with the parameters shown in Table 1.
The coefficient modulus configuration [60, 40, 40, 60] consists of one 60-bit special prime (used internally by SEAL for key switching) and an arithmetic chain of three primes providing two multiplication levels. Since this system uses CKKS exclusively for addition and not multiplication, the noise budget was never fully consumed during the aggregation process, regardless of how many ciphertexts are summed together.
3. Related Work
Homomorphic Encryption (HE) has evolved from a largely theoretical cryptographic concept into a practical technology capable of supporting privacy-preserving analytics, secure data aggregation, machine learning, and cloud computing. Since the introduction of the first Fully Homomorphic Encryption (FHE) scheme by Gentry [1], significant research efforts have focused on improving computational efficiency, reducing ciphertext expansion, minimizing noise growth, and enabling practical deployment in real-world applications.
3.1. Foundations of Homomorphic Encryption
The theoretical foundations of modern HE can be traced to Gentry’s pioneering work on fully homomorphic encryption [1]. Subsequent research significantly improved efficiency through lattice-based cryptographic constructions and leveled homomorphic encryption schemes. The Brakerski-Gentry-Vaikuntanathan (BGV) scheme [21] and the Brakerski/Fan-Vercauteren (BFV) scheme [22] became important milestones in the development of practical HE systems.
More recently, Cheon et al. introduced the CKKS scheme [2], which supports approximate arithmetic over real-valued data and has become the preferred choice for privacy-preserving machine learning, signal processing, and scientific computing applications. These advances have enabled encrypted computation on increasingly complex workloads while maintaining acceptable performance characteristics.
3.2. HE Software Frameworks and Libraries
Several software libraries have emerged to facilitate the practical adoption of homomorphic encryption. Microsoft SEAL [7] is among the most widely used open-source HE frameworks and provides implementations of BFV and CKKS schemes. PALISADE [23] introduced a modular architecture for lattice-based cryptography and served as a foundation for subsequent developments.
OpenFHE [6] represents the next generation of open-source HE libraries, providing improved performance, broader algorithm support, and enhanced interoperability. Similarly, TenSEAL [8] extends HE functionality to tensor operations and machine learning applications, enabling encrypted inference and privacy-preserving analytics. These frameworks have significantly lowered the barrier to entry for researchers and practitioners seeking to integrate HE into distributed systems.
3.3. Homomorphic Encryption for Secure Data Aggregation
Secure aggregation represents one of the most important application domains for homomorphic encryption. Numerous studies have explored HE-based aggregation techniques in smart grids, wireless sensor networks, IoT environments, and cyber-physical systems.
Lu et al. [24] proposed one of the earliest privacy-preserving aggregation schemes for smart grid infrastructures using homomorphic encryption. Li et al. [25] further demonstrated secure smart-meter aggregation architectures capable of preserving user privacy while enabling utility-level analytics.
In IoT environments, encrypted aggregation techniques have been investigated to support privacy-preserving monitoring and distributed sensing applications [26,27]. These approaches generally rely on additive homomorphic properties to compute aggregate statistics without revealing individual sensor readings.
More recently, hierarchical aggregation architectures have attracted increasing attention due to their ability to reduce communication overhead and improve scalability in large-scale deployments. However, relatively few studies have systematically benchmarked the performance impact of multiple aggregation levels under realistic workloads.
3.4. Homomorphic Encryption for Machine Learning and Federated Learning
The convergence of HE and machine learning has become a major research direction. Secure machine learning frameworks leverage homomorphic encryption to protect training data, model parameters, and inference requests while preserving analytical capabilities.
Several studies have investigated encrypted neural network inference using CKKS-based implementations [28,29]. Privacy-preserving federated learning has emerged as another important application area, where local model updates are encrypted before aggregation [9,30].
Recent surveys have demonstrated the growing adoption of HE within federated learning systems and highlighted the trade-offs between privacy guarantees and computational overhead [3]. Despite substantial progress, encryption latency and communication costs remain significant challenges for large-scale deployments.
3.5. Performance Optimization and Hardware Acceleration
One of the primary barriers to widespread adoption of HE is its computational complexity. Consequently, significant research efforts have focused on performance optimization and hardware acceleration.
GPU-based acceleration has demonstrated substantial reductions in execution time for homomorphic operations [11]. Specialized architectures such as Taiyi [12] have been proposed to accelerate CKKS computations through customized hardware pipelines. Processing-in-memory approaches have also been investigated to reduce data movement overhead associated with ciphertext operations [14].
3.6. HE Benchmarking and Profiling Frameworks
As HE systems become increasingly complex, systematic benchmarking has emerged as an important research area. Existing studies have evaluated the performance of different HE libraries, parameter configurations, and hardware platforms.
HEProfiler [15] introduced a detailed profiling framework capable of characterizing the runtime behavior of approximate HE schemes. Similarly, CryptOracle [16] proposed a modular benchmarking environment for evaluating multiple FHE implementations across diverse workloads.
Several comparative studies have analyzed BFV, BGV, and CKKS schemes under different security parameters and application scenarios [33,34]. These investigations have highlighted the significant impact of parameter selection on encryption latency, memory consumption, ciphertext growth, and computational accuracy.
Despite these advances, existing benchmarking frameworks typically focus on cryptographic primitives, encrypted machine learning workloads, or hardware accelerators. Comparatively little attention has been devoted to hierarchical encrypted aggregation systems involving multiple aggregation levels, distributed devices, and realistic telemetry workloads.
3.7. Homomorphic Encryption for Advanced Metering Infrastructure Data Integration
Advanced Metering Infrastructure (AMI) has emerged as a critical component of modern smart grid systems, enabling bidirectional communication between utilities and consumers while providing fine-grained electricity consumption measurements. The large volume of AMI data facilitates numerous applications including load forecasting, demand response, outage management, energy theft detection, and distribution network optimization. However, high-resolution smart meter readings can reveal sensitive information about consumer behavior, occupancy patterns, appliance usage, and lifestyle characteristics, creating significant privacy concerns [24,25].
To address these concerns, researchers have investigated the use of homomorphic encryption for privacy-preserving AMI data collection and aggregation. Early studies focused on additive homomorphic encryption techniques that enable utilities to compute aggregated energy consumption without accessing individual customer measurements [24]. Subsequent research extended these approaches to support dynamic pricing, demand response programs, and privacy-preserving billing mechanisms while maintaining regulatory compliance and consumer confidentiality [35,36].
Recent advances in homomorphic encryption have enabled more sophisticated AMI analytics. CKKS-based approaches support encrypted processing of real-valued meter measurements, making them suitable for forecasting, load analysis, and distributed energy resource management [2,8]. Similarly, BFV-based approaches provide exact arithmetic guarantees that are desirable for billing and accounting applications where numerical correctness is paramount [7,22].
Several studies have further explored privacy-preserving smart grid data integration architectures in which encrypted measurements collected from distributed smart meters are aggregated at neighborhood, feeder, or utility levels before centralized analysis [25,27]. These hierarchical aggregation models closely resemble practical AMI deployments and demonstrate the feasibility of performing large-scale encrypted computations while preserving consumer privacy.
Despite these advances, relatively few studies have systematically evaluated the performance implications of multi-level encrypted aggregation using realistic AMI datasets. Most existing work focuses on protocol design, privacy guarantees, or communication efficiency, whereas comprehensive benchmarking of encryption latency, aggregation overhead, memory utilization, ciphertext growth, and numerical accuracy across hierarchical infrastructures remains limited. Consequently, AMI datasets provide an important real-world validation environment for evaluating the scalability and practicality of homomorphic encryption frameworks.
In this work, AMI consumption measurements are employed as a representative distributed telemetry workload to validate the proposed benchmarking framework. The hierarchical structure of AMI deployments naturally aligns with the framework’s multi-level aggregation architecture, enabling quantitative evaluation of encrypted aggregation performance under realistic operational conditions while facilitating direct comparison between CKKS and BFV schemes.
3.8. Research Gap
The literature demonstrates substantial progress in homomorphic encryption algorithms, software libraries, secure aggregation techniques, machine learning applications, and hardware acceleration. However, several important limitations remain.
First, most existing studies evaluate isolated cryptographic operations rather than end-to-end hierarchical aggregation workflows. Second, direct comparisons between CKKS and BFV under identical multi-level aggregation workloads remain limited. Third, few benchmarking frameworks simultaneously capture computational performance, communication overhead, memory utilization, ciphertext growth, and numerical accuracy across large-scale distributed architectures.
To address these gaps, this work proposes a generic hierarchical homomorphic encryption benchmarking framework capable of evaluating encrypted aggregation across configurable multi-level infrastructures while supporting detailed comparison of CKKS and BFV schemes. The framework provides comprehensive performance characterization and offers a reproducible environment for future HE benchmarking research.
4. Framework Design and Implementation
4.1. Hierarchical Homomorphic Encryption Benchmarking Framework
To evaluate the practicality, scalability, and performance of privacy-preserving data aggregation in distributed cyber-physical systems, a generic hierarchical homomorphic encryption (HE) benchmarking framework was developed. The framework is application-independent and can model a wide range of systems including smart grids, Internet of Things (IoT) networks, industrial monitoring systems, healthcare infrastructures, defense sensing environments, and large-scale distributed telemetry systems.
The proposed framework consists of three logical layers:
- Data Acquisition Layer: End devices generate measurements from real-world datasets or synthetic data sources.
- Hierarchical Aggregation Layer: Intermediate aggregation nodes perform encrypted computations on ciphertexts without accessing plaintext values.
- Global Coordination Layer: The root node receives encrypted aggregates from lower levels and performs final aggregation before authorized decryption and validation.
Figure 1 illustrates the generic hierarchical HE benchmarking framework used in this work. At the device level, distributed end devices (e.g., smart meters) generate local measurements and encrypt them before transmission, ensuring that plaintext data never leaves the source node. At the cluster/intermediate level, aggregation nodes receive encrypted readings from multiple devices and perform homomorphic aggregation directly on ciphertexts to produce cluster-level encrypted summaries. These encrypted cluster aggregates are then forwarded to the global level, where the global aggregator performs the final encrypted aggregation across all clusters to obtain a single global ciphertext. The final result is then passed to an authorized key holder for decryption, after which validation is performed by comparing the decrypted aggregate with the corresponding plaintext reference. This hierarchical workflow reflects the practical operation of privacy-preserving distributed cyber-physical systems. Unlike conventional centralized architectures, the proposed framework supports arbitrary hierarchy depth and configurable fan-out factors, allowing realistic modeling of large-scale deployments consisting of thousands of distributed devices.
4.2. Homomorphic Encryption Abstraction Layer
To ensure extensibility and interoperability, the framework adopts a modular HE abstraction layer. All cryptographic backends implement a common interface consisting of:
- Encryption
- Decryption
- Homomorphic Addition
- Homomorphic Multiplication
This abstraction enables multiple HE schemes to be evaluated under identical experimental conditions without modifying application-level logic.
The current implementation supports:
- Mock HE backend for large-scale simulation studies
- BFV and CKKS implementation using TenSEAL
- Future integration of BGV, OpenFHE, Microsoft SEAL, HElib, and PALISADE
Consequently, the framework can serve as a generic benchmarking platform for evaluating emerging privacy-preserving computing technologies.
4.3. Hierarchical Encrypted Aggregation Process
For each aggregation cycle, the framework executes the following workflow.
4.3.1. Data Acquisition
Each device acquires a measurement represented as , where denotes the observation generated by device i during a specific sampling interval.
The measurements may originate from energy consumption records, environmental sensors, industrial telemetry streams, healthcare monitoring systems, or synthetic benchmark datasets.
In our framework, for validation and evaluation, we utilize the Low Carbon London (LCL) smart meter dataset, which comprises half-hourly electricity consumption measurements from 5,567 London households, with half-hourly readings collected between November 2011 and February 2014 under the UK Power Networks Low Carbon London project [37].
4.3.2. Local Encryption
Each device encrypts its measurement using the selected HE scheme:
where denotes the encryption function and represents the corresponding ciphertext.
The plaintext values remain local to the originating device and are never transmitted in unencrypted form.
4.3.3. Cluster-Level Aggregation
At the cluster level, ciphertexts are aggregated directly through homomorphic addition:
without revealing any individual measurement.
4.3.4. Multi-Level Aggregation
The framework recursively aggregates encrypted cluster outputs through higher levels of the hierarchy.
For child clusters, the aggregation process can be represented as
which results in
This process can be repeated across an arbitrary number of hierarchical levels.
4.3.5. Decryption and Validation
At the root node, the aggregated ciphertext is decrypted by an authorized entity:
where denotes the decryption function.
The decrypted result is subsequently compared with the plaintext ground truth to quantify computational accuracy and precision loss.
4.4. Performance Benchmarking Methodology
The framework automatically records detailed operational metrics during every cryptographic operation.
4.4.1. Computational Metrics
The following latency measurements are collected:
- Encryption time
- Decryption time
- Homomorphic addition time
- Homomorphic multiplication time
- End-to-end aggregation time
The total execution time can be expressed as
where , , and denote the cumulative encryption time, hierarchical aggregation time, and decryption and validation time, respectively.
4.4.2. Resource Utilization Metrics
To evaluate deployment feasibility, the framework records memory consumption and computation time over different operations such as encryption, addition, aggregation, decryption, in processing one batch of data.
These measurements facilitate quantitative analysis of computational efficiency and infrastructure requirements.
4.4.3. Accuracy Metrics
Numerical accuracy is also evaluated using absolute error:
where is the plaintext aggregate and is the decrypted aggregate.
Relative error may additionally be computed as:
4.5. Benchmarking Homomorphic Aggregation Performance
The proposed framework enables systematic benchmarking of encrypted aggregation using the BFV and CKKS homomorphic encryption schemes under a controlled and identical workload at both cluster and global levels. In this context, aggregation refers to the homomorphic combination of ciphertexts corresponding to device-level measurements within a given sampling interval, such that the decrypted result is equivalent to the sum of plaintext values.
At the cluster level, aggregation is performed over ciphertexts generated by a fixed set of five devices within each cluster. Specifically, for a given sampling instant, each device encrypts its local measurement, and the cluster node performs homomorphic addition over the received ciphertexts to produce a single aggregated ciphertext representing the total contribution of that cluster. This process is repeated independently across three clusters, ensuring uniform workload distribution.
At the global level, a higher-tier aggregator collects the three cluster-level ciphertexts corresponding to the same sampling interval. Once all cluster nodes have produced their aggregated outputs, the global node performs a final homomorphic aggregation step over these ciphertexts to compute a single ciphertext representing the system-wide total across all fifteen devices.
This hierarchical evaluation setting comprising five devices per cluster, three clusters, and a single global aggregation layer, ensures a consistent and reproducible workload for comparing the performance, accuracy, and scalability of BFV and CKKS schemes under identical operational conditions.
4.6. Comparative Evaluation of CKKS and BFV
A key capability of the framework is the direct comparison of multiple homomorphic encryption schemes under identical workloads.
4.6.1. CKKS Scheme
CKKS is an approximate homomorphic encryption scheme designed for real-valued arithmetic and vectorized computations.
Given a vector
CKKS supports approximate arithmetic over encrypted data, enabling efficient homomorphic computations on real- or complex-valued vectors while preserving computational efficiency.
Its primary advantages include:
- Native support for floating-point values
- Efficient vectorized processing
- Reduced computational overhead
- Suitability for machine learning and data analytics
However, CKKS introduces approximation errors that may accumulate after multiple homomorphic operations.
4.6.2. BFV Scheme
BFV is an exact homomorphic encryption scheme operating over integer arithmetic.
Floating-point measurements must first be transformed into integers using a scaling factor :
In BFV, real-valued inputs are first converted into integers using a scaling factor . For each element , the encoded integer representation is given by
Homomorphic computation is then performed on the encrypted integer values,
After decryption, the approximate original value is recovered by rescaling,
The scaling factor determines the precision of the fixed-point representation, with larger values providing higher numerical accuracy at the cost of increased ciphertext size and computational overhead.
BFV offers several advantages:
- Exact arithmetic in the encoded integer domain
- No scheme-induced approximation before fixed-point decoding
- Strong correctness guarantees
- Suitability for accounting and billing applications
The trade-off is increased computational complexity and larger ciphertext sizes.
4.6.3. CKKS Versus BFV Benchmarking
The framework enables side-by-side comparison of CKKS and BFV using identical datasets, aggregation workloads, and hierarchy configurations.
Performance is evaluated according to: encryption latency, decryption latency, aggregation latency, memory utilization and numerical accuracy.
The comparison allows researchers to quantify the trade-off between computational efficiency and numerical exactness. CKKS is generally expected to provide superior performance for real-valued analytics and machine learning workloads, whereas BFV provides exact arithmetic in the encoded integer domain; its accuracy for real-valued inputs depends on the selected scaling and rounding procedure.
4.7. Experimental Outcomes
The proposed benchmarking framework provides a reproducible and extensible environment for evaluating privacy-preserving hierarchical aggregation systems. By collecting fine-grained performance, resource utilization, communication, and accuracy metrics, the framework enables objective assessment of homomorphic encryption schemes and facilitates the selection of appropriate cryptographic technologies for large-scale distributed cyber-physical infrastructures.
5. Results and Discussion
The proposed hierarchical privacy-preserving aggregation framework was evaluated first using the BFV homomorphic encryption scheme across three hierarchy levels consisting of device, cluster, and global nodes. The objective of the experiments was to quantify the computational overhead, memory requirements, and numerical correctness of encrypted aggregation operations. Performance metrics including encryption time, aggregation time, decryption time, memory consumption, and decryption accuracy were recorded during execution.
The results presented in this section correspond to the benchmark configuration described in Section 4.4. Equivalent experiments will subsequently be conducted using the CKKS scheme to facilitate a comparative evaluation between exact and approximate homomorphic encryption approaches.
5.1. Encryption Performance Analysis
Figure 2 illustrates the average encryption latency observed at different hierarchy levels. The mean node-level encryption time is approximately 7.18 ms.
The node-level results show encryption latency ranging from approximately 6.721 ms to 8.075 ms.
5.2. Aggregation Performance Analysis
Aggregation is the fundamental operation of the proposed framework because encrypted values are recursively combined across the hierarchy in our implementation simulating the aggregation time for each batch of edge node’s data. This includes the encrytion and step by step addition of plain text numeric values as well as the ciphers in each cluster nodes and global nodes.
Figure 3 presents the average aggregation latency at each hierarchy level.
As expected, aggregation overhead increases when moving upward in the hierarchy because higher-level nodes combine a larger number of ciphertexts. The global node exhibited an average end-to-end aggregation latency of approximately 187.916 ms, whereas the cluster level required approximately 54.763 ms.
The detailed node-wise aggregation performance is shown in Figure 4.
There is very little variations observed among custer nodes as expected since each cluster are aggregating five device data connected. The aggregation complexity depends primarily on the number of child ciphertexts processed at each node. The global node is responsible for the entire aggregation tree experienced higher execution times including lower layer’s homomorphic addition operations.
5.3. Decryption Performance Analysis
Decryption was performed for validation purposes to verify the correctness of encrypted aggregation.
Figure 5 presents the average decryption latency across hierarchy levels.
The results indicate that decryption overhead remained relatively stable across hierarchy levels: approximately 2.447 ms at the device level, 2.549 ms at the cluster level, and 2.633 ms at the global level.
Node-level decryption performance is illustrated in Figure 6.
Minor variations between nodes can be attributed to runtime scheduling effects, memory allocation overhead, and operating-system level resource management.
5.4. Memory Consumption Analysis
Memory utilization is a critical factor for practical deployment of homomorphic encryption in resource-constrained environments.
Figure 7 shows the average memory usage across hierarchy levels.
The results demonstrate that process-level memory consumption remains nearly constant across the hierarchy, ranging from approximately 981.4 MB to 982.3 MB.
5.5. Operation-Level Performance Characteristics
To better understand system behavior, operation-level heatmaps were generated. Figure 8 presents operation performance aggregated by hierarchy level. The heatmap shows that end-to-end aggregation is the dominant latency at the cluster and global levels, while encryption is the principal measured cost at the device level. The node-level analysis highlights potential computational hotspots within the hierarchy and identifies nodes that may benefit from load balancing or parallelization strategies.
5.6. Decryption Accuracy Analysis
One of the most important requirements of privacy-preserving aggregation is preserving computational correctness after homomorphic processing.
Figure 9 presents the decryption accuracy observed across all nodes.
The results demonstrate that the BFV scheme preserved a high degree of arithmetic correctness, achieving an average accuracy of approximately (98.96%). Since the device data consists of floating-point values, a scaling factor was applied prior to conversion to integers for encryption. Consequently, a small quantization error was introduced, limiting the retained precision to approximately two decimal places. Based on the values displayed in Figure 9, the mean absolute error across the four reported nodes is approximately .
The global aggregation node achieved an absolute error of approximately , demonstrating that recursive aggregation remained close to the plaintext result across multiple hierarchy levels.
5.7. Overall Discussion
The experimental results demonstrate that the proposed hierarchical aggregation architecture successfully supports privacy-preserving data aggregation using homomorphic encryption. The framework maintained high computational correctness while enabling recursive aggregation across device, cluster, and global levels.
The primary computational overhead originated from end-to-end hierarchical aggregation, while process-level memory consumption remained nearly constant across the three reported hierarchy levels. Despite these costs, the framework produced accurate aggregate results across the evaluated hierarchy.
The findings suggest that hierarchical aggregation can significantly reduce communication and processing bottlenecks by distributing aggregation workloads among cluster nodes before forwarding encrypted summaries to higher levels.
5.8. Comparison Between BFV and CKKS
To compare the performance of BFV and CKKS, we repeat the same experimental setup using CKKS within the proposed framework, ensuring identical workloads and evaluation conditions. For brevity, we omit the full set of CKKS intermediate results and instead present the key aggregated findings in Table 2.
Across all evaluated metrics, CKKS consistently demonstrates improved performance compared to BFV under the same experimental workload. In terms of computation efficiency, CKKS shows lower encryption latency (6.65 ms vs. 7.77 ms), decryption latency (1.90 ms vs. 2.52 ms), and primitive homomorphic-addition latency (0.22 ms vs. 0.39 ms), indicating lower measured latency across the reported cryptographic operations. This suggests that CKKS is more suitable for scenarios where real-time or near-real-time encrypted computation is required.
From a system resource perspective, CKKS also exhibits reduced memory utilization (975.99 MB compared to 1030.93 MB for BFV), highlighting its improved efficiency in handling computational overhead. This reduction becomes particularly relevant in large-scale or distributed deployments where memory constraints can significantly impact scalability.
In terms of numerical accuracy, BFV maintains a small but non-zero absolute error (0.00321), while CKKS achieves near machine-level precision (5.91e-10) for the evaluated workload. Because BFV is exact over encoded integers, this observed difference primarily reflects the fixed-point encoding and parameter choices used in the experiment. Overall, CKKS provides lower measured latency, memory use, and error for this specific workload.
5.9. Scalability Testing
Scalability testing was conducted to evaluate how the hierarchical homomorphic encryption framework performs as the system size increases in terms of both the number of hierarchy levels and the number of devices per cluster. The benchmark datasets included configurations such as 3 levels with 5, 10, and 15 devices, 5 levels with 10 devices, and 7 levels with 10 devices. Four critical operations were analyzed: encryption, homomorphic addition, aggregation, and decryption.
The objective of this experiment was to determine whether the computational overhead grows linearly, sublinearly, or exponentially as the hierarchical structure becomes deeper and wider.
5.9.1. Encryption Scalability
Figure 10 shows the average encryption time across different system configurations.
The results indicate that encryption time remains relatively stable across most configurations, ranging approximately from 5.6 ms to 7.0 ms. Since encryption occurs independently at each leaf device, the number of hierarchy levels has limited direct impact on encryption latency. The primary contributor to encryption cost is the underlying BFV/CKKS cryptographic operation rather than the network topology.
Across the nine plotted configurations, encryption latency ranged from approximately 5.60 ms to 6.96 ms. The highest value occurred for the 7-level/5-device configuration, not the 7-level/15-device configuration; the plotted points do not show a monotonic increase with either hierarchy depth or device count.
Overall, encryption latency remained within a narrow range in these experiments, although repeated trials and confidence intervals are required before assigning a formal scaling complexity.
5.9.2. Homomorphic Addition Scalability
Figure 11 presents the average execution time for homomorphic ciphertext addition.
The results show that homomorphic addition latency remained between approximately 0.30 ms and 0.61 ms across all tested configurations. Since homomorphic addition is computationally cheaper than multiplication in lattice-based cryptosystems, the observed latency remained significantly lower than encryption and decryption.
The plotted addition times fluctuate rather than increasing monotonically with device count. The highest cluster-level addition latency, approximately 0.61 ms, occurred for the 7-level/5-device configuration.
These results show that primitive ciphertext addition remained below 0.61 ms in the tested cases; however, the plots alone do not establish a linear or sublinear scaling law.
5.9.3. Aggregation Scalability
Figure 12 illustrates the total aggregation time, including recursive ciphertext collection from devices to cluster nodes and from cluster nodes to the global node.
Aggregation exhibited the strongest dependency on hierarchy depth because it involves repeated communication and ciphertext accumulation across multiple levels. Across all plotted cluster- and global-level results, aggregation time ranged from approximately 94 ms to 699 ms.
Cluster-level aggregation ranged from approximately 94 ms to 147 ms, while global aggregation ranged from approximately 291 ms to 699 ms. The maximum global value occurred for the 3-level/10-device configuration, so the current plots do not demonstrate a monotonic increase with hierarchy depth.
The measurements show manageable execution times for the tested configurations, but a scaling claim requires operation-normalized repeated measurements and statistical uncertainty estimates.
5.9.4. Decryption Scalability
Figure 13 presents the decryption latency measured at cluster and global nodes.
Decryption time remained relatively stable across different configurations, varying from approximately 1.96 ms to 3.06 ms. Similar to encryption, decryption complexity primarily depends on the cryptographic scheme parameters rather than hierarchy size. The plotted values do not increase monotonically with configuration size. The maximum decryption latency, approximately 3.06 ms at the global node, occurred for the 7-level/5-device configuration. The limited variation suggests stable decryption latency within the tested range.
5.9.5. Overall Scalability Analysis
Across all experiments, the framework demonstrated strong scalability characteristics:
- Encryption and decryption remained largely stable across configurations.
- Homomorphic addition remained below approximately 0.61 ms, with no monotonic device-count trend in the plotted data.
- End-to-end aggregation showed the largest latency and the greatest variability across configurations.
Overall, the results indicate practical computational overhead for the evaluated configurations. This makes the architecture suitable for applications such as smart grids, IoT networks, federated analytics, and privacy-preserving edge intelligence, where secure aggregation of distributed data is essential.
5.10. Key Takeaways in Relation to the Major Contributions
The combined experimental findings demonstrate how the major contributions identified in Section 1 were achieved:
- Generic hierarchical benchmarking framework (C1): The implemented device-cluster-global workflow realizes a configurable encrypted aggregation topology, while the additional 3, 5, and 7-level configurations demonstrate that the same framework can be exercised under different hierarchy depths and fan-out settings.
- Multi-level performance characterization (C2): Encryption, primitive homomorphic addition, end-to-end aggregation, decryption, memory consumption, and numerical accuracy were measured at device, cluster, and global levels. These measurements show that end-to-end aggregation is the dominant cost, whereas encryption, decryption, and process-level memory remain comparatively stable within the evaluated configurations.
- Quantitative BFV and CKKS comparison (C3): Under the identical workload, CKKS reduced encryption latency from 7.77 ms to 6.65 ms, primitive homomorphic-addition latency from 0.39 ms to 0.22 ms, decryption latency from 2.52 ms to 1.90 ms, and memory utilization from 1030.93 MB to 975.99 MB. For the evaluated encoding and parameter choices, the mean absolute error decreased from for BFV to for CKKS.
- Detailed logging and profiling (C4): Node-wise and hierarchy-level measurements, together with the operation-level heatmap and scalability plots, provide fine-grained visibility into cryptographic and aggregation costs. The end-to-end aggregation metric includes recursive ciphertext collection and accumulation, enabling the framework to identify the principal processing and communication-aware bottleneck in the implemented hierarchy.
- Extensible experimental platform (C5) : The common HE abstraction layer, configurable topology, and validation with real Low Carbon London smart-meter data establish a reusable test environment in which additional HE schemes, libraries, parameter sets, and privacy-preserving analytics workloads can be evaluated without redesigning the application workflow.
Overall, the results confirm that the proposed contribution is both a working hierarchical privacy-preserving aggregation system and a reproducible benchmarking platform. Within the evaluated real-valued aggregation workload, CKKS provides the more efficient and accurate backend. At the same time, the framework exposes the operation and hierarchy-specific trade-offs required for future HE deployment studies.
6. Conclusion and Future Work
This paper presented a generic hierarchical benchmarking framework for evaluating homomorphic encryption (HE)-based aggregation in distributed multi-level architectures. The framework supports configurable aggregation topologies, detailed operation-level profiling, and comparative evaluation of multiple HE schemes under identical workloads. Through comprehensive experimentation, the framework enabled systematic characterization of computational overhead, memory consumption, communication requirements, and aggregation accuracy across node-, cluster-, and global-level aggregation stages.
The experimental results demonstrate that both BFV and CKKS are capable of supporting privacy-preserving aggregation; however, CKKS consistently outperformed BFV across all evaluated metrics. Specifically, CKKS reduced average encryption latency from 7.77 ms to 6.65 ms, representing an improvement of approximately 14.4%. Similarly, decryption latency decreased from 2.52 ms to 1.90 ms, yielding a 24.6% reduction. The most significant gain was observed during primitive homomorphic addition, where CKKS achieved an average latency of 0.218 ms compared with 0.391 ms for BFV, corresponding to a 44.3% improvement. Memory utilization was also reduced from approximately 1030.9 MB to 976.0 MB, resulting in a 5.3% reduction in memory requirements.
In addition to computational efficiency, CKKS demonstrated substantially higher numerical accuracy in the evaluated aggregation workload. While BFV achieved a mean absolute error of , CKKS reduced the error to , representing an improvement of more than six orders of magnitude. For the evaluated encoding and parameter choices, these results indicate that CKKS provided both lower computational overhead and lower numerical error for the real-valued aggregation workload.
Beyond the quantitative comparison of BFV and CKKS, the proposed framework contributes a reusable and extensible platform for benchmarking emerging HE schemes under realistic hierarchical aggregation scenarios. The detailed logging and profiling capabilities facilitate identification of performance bottlenecks and support rigorous evaluation of scalability, resource utilization, and communication overhead. Consequently, the framework provides a valuable tool for researchers and practitioners seeking to assess the practical feasibility of privacy-preserving analytics in distributed systems.
Future work will extend the framework to incorporate additional homomorphic encryption schemes, hardware-accelerated implementations, larger-scale deployments, and application-specific workloads in domains such as smart grids, industrial IoT, cyber-physical systems, and federated analytics. The presented results identify CKKS as the more efficient and accurate option within the evaluated configuration, while demonstrating the usefulness of the proposed framework for further privacy-preserving computation studies.
Author Contributions
Conceptualization, M.Z., P.S. and K.N.; methodology, A.A.S.; software, A.A.S.; validation, A.A.S. and M.Z.; formal analysis, A.A.S.; investigation, A.A.S.; data curation, A.A.S. and M.Z. ; writing-original draft preparation, A.A.S. and M.Z.; writing-review and editing, M.Z., P.S., D.U. and K.N.; visualization, M.Z. and D.U.; supervision, M.Z., P.S. and K.N.; project administration, P.S. and K.N.; funding acquisition, P.S. All authors have read and agreed to the published version of the manuscript.
Funding
This research was funded by the National Cybersecurity Consortium (NCC) through a grant awarded to Pirathayini Srikantha at York University.
Data Availability Statement
The Low Carbon London (LCL) smart meter dataset analyzed in this study is publicly available through the UK Power Networks Low Carbon London project [37]. The processed data supporting the findings of this study are available from the corresponding author upon reasonable request.
Acknowledgments
The research produced is part of ongoing collaborative work between York University and the University of Waterloo with industry partner Cistel Technology.
Conflicts of Interest
The authors declare no conflicts of interest. The funder had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript; or in the decision to publish the results.
Abbreviations
The following abbreviations are used in this manuscript:
| AH-ElGamal | Additively Homomorphic ElGamal |
| AMI | Advanced Metering Infrastructure |
| ASIC | Application-Specific Integrated Circuit |
| BFV | Brakerski–Fan–Vercauteren |
| BGN | Boneh–Goh–Nissim |
| BGV | Brakerski–Gentry–Vaikuntanathan |
| CKKS | Cheon–Kim–Kim–Song |
| CPU | Central Processing Unit |
| DER | Distributed Energy Resource |
| FHE | Fully Homomorphic Encryption |
| FPGA | Field-Programmable Gate Array |
| GPU | Graphics Processing Unit |
| HE | Homomorphic Encryption |
| IoT | Internet of Things |
| LCL | Low Carbon London |
| MAE | Mean Absolute Error |
| NCC | National Cybersecurity Consortium |
| PHE | Partially Homomorphic Encryption |
| PIM | Processing-in-Memory |
| Ring-LWE | Ring Learning With Errors |
| RSA | Rivest–Shamir–Adleman |
| SEAL | Simple Encrypted Arithmetic Library |
| SIMD | Single Instruction, Multiple Data |
References
- Gentry, C. Fully Homomorphic Encryption Using Ideal Lattices. In Proceedings of the Proceedings of the 41st Annual ACM Symposium on Theory of Computing. ACM, 2009, pp. 169–178. [CrossRef]
- Cheon, J.H.; Kim, A.; Kim, M.; Song, Y. Homomorphic Encryption for Arithmetic of Approximate Numbers. In Proceedings of the Advances in Cryptology—ASIACRYPT 2017, Part I, Cham, 2017; Vol. 10624, Lecture Notes in Computer Science, pp. 409–437. [CrossRef]
- Gong, Y.; Chang, X.; Mišić, J.; Mišić, V.B.; Wang, J.; Zhu, H. Practical Solutions in Fully Homomorphic Encryption: A Survey Analyzing Existing Acceleration Methods. Cybersecurity 2024, 7, 5. [CrossRef]
- Kim, A.; Polyakov, Y.; Zucca, V. Revisiting Homomorphic Encryption Schemes for Finite Fields. In Proceedings of the Advances in Cryptology—ASIACRYPT 2021, Part III, Cham, 2021; Vol. 13092, Lecture Notes in Computer Science, pp. 608–639. [CrossRef]
- Solomon, R.; Weber, R.; Almashaqbeh, G. smartFHE: Privacy-Preserving Smart Contracts from Fully Homomorphic Encryption. In Proceedings of the 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P). IEEE, 2023, pp. 309–331. [CrossRef]
- Al Badawi, A.; Bates, J.; Bergamaschi, F.; Cousins, D.B.; Erabelli, S.; Genise, N.; Halevi, S.; Hunt, H.; Kim, A.; Lee, Y.; et al. Openfhe: Open-source fully homomorphic encryption library. In Proceedings of the proceedings of the 10th workshop on encrypted computing & applied homomorphic cryptography, 2022, pp. 53–63.
- Microsoft SEAL Contributors. Microsoft SEAL: Homomorphic Encryption Library, Version 4.1.2. Available online: https://github.com/microsoft/SEAL. Accessed July 1, 2026.
- Benaissa, A.; Retiat, B.; Cebere, B.; Belfedhal, A.E. TenSEAL: A Library for Encrypted Tensor Operations Using Homomorphic Encryption. Available online: https://arxiv.org/abs/2104.03152.
- Dinkov, D. Homomorphic Encryption for Secure Federated Learning: A PRISMA-Based Systematic Review. The Journal of CIEES 2024, 4, 37–47.
- Barcau, M.; Gugulea, G.; Lupascu, C.; Pasol, V.; Togan, M.; Turcas, G. Beyond Quantum Threats: Bridging Fully Homomorphic Encryption Schemes. In Toward a Quantum-Safe Communication Infrastructure; NATO Science for Peace and Security Series–D: Information and Communication Security, IOS Press, 2024; pp. 117–126. [CrossRef]
- Shen, S.; Yang, H.; Dai, W.; Zhou, L.; Liu, Z.; Zhao, Y. Leveraging GPU in Homomorphic Encryption: Framework Design and Analysis of BFV Variants. IEEE Transactions on Computers 2024, 73, 2817–2829. [CrossRef]
- Fan, S.; Deng, X.; Tian, Z.; Hu, Z.; Chang, L.; Hou, R.; Meng, D.; Zhang, M. Taiyi: A high-performance CKKS accelerator for practical fully homomorphic encryption. arXiv preprint arXiv:2403.10188 2024.
- Zhang, K.; Wang, A.; Parhi, K.K.; Lao, Y. Hardware Acceleration for Fully Homomorphic Encryption Scheme Switching from CKKS to FHEW. In Proceedings of the 2024 58th Asilomar Conference on Signals, Systems, and Computers. IEEE, 2024, pp. 1792–1796. [CrossRef]
- Gupta, H.; Kabra, M.; Gómez-Luna, J.; Kanellopoulos, K.; Mutlu, O. Evaluating Homomorphic Operations on a Real-World Processing-in-Memory System. In Proceedings of the 2023 IEEE International Symposium on Workload Characterization (IISWC). IEEE, 2023, pp. 211–215. [CrossRef]
- Takeshita, J.; Koirala, N.; McKechney, C.; Jung, T. HEProfiler: an in-depth profiler of approximate homomorphic encryption libraries: J. Takeshita et al. Journal of Cryptographic Engineering 2025, 15, 14.
- Brynds, C.; McLeod, P.; Caccamise, L.; Pal, A.; Saiham, D.; Rahman, S.; Miguel, J.S.; Wu, D. CryptOracle: A Modular Framework to Characterize Fully Homomorphic Encryption. arXiv preprint arXiv:2510.03565 2025.
- Paillier, P. Public-Key Cryptosystems Based on Composite Degree Residuosity Classes. In Proceedings of the Advances in Cryptology—EUROCRYPT ’99. Springer, 1999, Vol. 1592, Lecture Notes in Computer Science, pp. 223–238. [CrossRef]
- Koç, Ç.K.; Özdemir, F.; Özger, Z.Ö. Boneh–Goh–Nissim Algorithm. In Partially Homomorphic Encryption; Springer: Cham, 2021; pp. 123–133. [CrossRef]
- ElGamal, T. A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms. IEEE Transactions on Information Theory 1985, 31, 469–472. [CrossRef]
- Lyubashevsky, V.; Peikert, C.; Regev, O. On Ideal Lattices and Learning with Errors over Rings. In Proceedings of the Advances in Cryptology—EUROCRYPT 2010. Springer, 2010, Vol. 6110, Lecture Notes in Computer Science, pp. 1–23. [CrossRef]
- Brakerski, Z.; Gentry, C.; Vaikuntanathan, V. (Leveled) Fully Homomorphic Encryption without Bootstrapping. ACM Transactions on Computation Theory 2014, 6, 13:1–13:36. [CrossRef]
- Fan, J.; Vercauteren, F. Somewhat Practical Fully Homomorphic Encryption. Available online: https://eprint.iacr.org/2012/144.
- PALISADE Project. PALISADE Release: Lattice Cryptography Library, Version 1.11.9. Available online: https://gitlab.com/palisade/palisade-release. accessed on 20 July 2026.
- Lu, R.; Liang, X.; Li, X.; Lin, X.; Shen, X. EPPA: An Efficient and Privacy-Preserving Aggregation Scheme for Secure Smart Grid Communications. IEEE Transactions on Parallel and Distributed Systems 2012, 23, 1621–1631. [CrossRef]
- Li, F.; Luo, B.; Liu, P. Secure Information Aggregation for Smart Grids Using Homomorphic Encryption. In Proceedings of the 2010 First IEEE International Conference on Smart Grid Communications. IEEE, 2010, pp. 327–332. [CrossRef]
- Loukil, F.; Ghedira-Guegan, C.; Boukadi, K.; Benharkat, A.N. Privacy-Preserving IoT Data Aggregation Based on Blockchain and Homomorphic Encryption. Sensors 2021, 21, 2452. [CrossRef]
- Kumar, M.; Sethi, M.; Rani, S.; Sah, D.K.; AlQahtani, S.A.; Al-Rakhami, M.S. Secure Data Aggregation Based on End-to-End Homomorphic Encryption in IoT-Based Wireless Sensor Networks. Sensors 2023, 23, 6181. [CrossRef]
- Gilad-Bachrach, R.; Dowlin, N.; Laine, K.; Lauter, K.; Naehrig, M.; Wernsing, J. Cryptonets: Applying neural networks to encrypted data with high throughput and accuracy. In Proceedings of the International conference on machine learning. PMLR, 2016, pp. 201–210.
- Nandakumar, K.; Ratha, N.K.; Pankanti, S.; Halevi, S. Towards Deep Neural Network Training on Encrypted Data. In Proceedings of the 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE, 2019, pp. 40–48. [CrossRef]
- Hardy, S.; Henecka, W.; Ivey-Law, H.; Nock, R.; Patrini, G.; Smith, G.; Thorne, B. Private federated learning on vertically partitioned data via entity resolution and additively homomorphic encryption. arXiv preprint arXiv:1711.10677 2017.
- Agrawal, R.; de Castro, L.; Yang, G.; Juvekar, C.; Yazicigil, R.T.; Chandrakasan, A.P.; Vaikuntanathan, V.; Joshi, A. FAB: An FPGA-Based Accelerator for Bootstrappable Fully Homomorphic Encryption. In Proceedings of the 2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA). IEEE, 2023, pp. 882–895. [CrossRef]
- Samardzic, N.; Feldmann, A.; Krastev, A.; Devadas, S.; Dreslinski, R.; Peikert, C.; Sanchez, D. F1: A fast and programmable accelerator for fully homomorphic encryption. In Proceedings of the MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture. ACM, 2021, pp. 238–252.
- Boemer, F.; Costache, A.; Cammarota, R.; Wierzynski, C. nGraph-HE2: A High-Throughput Framework for Neural Network Inference on Encrypted Data. In Proceedings of the Proceedings of the 7th ACM Workshop on Encrypted Computing and Applied Homomorphic Cryptography (WAHC ’19). ACM, 2019, pp. 45–56. [CrossRef]
- Gouert, C.; Mouris, D.; Tsoutsos, N.G. SoK: New Insights into Fully Homomorphic Encryption Libraries via Standardized Benchmarks. Proceedings on Privacy Enhancing Technologies 2023, 2023, 154–172. [CrossRef]
- Erkin, Z.; Troncoso-Pastoriza, J.R.; Lagendijk, R.L.; Pérez-González, F. Privacy-Preserving Data Aggregation in Smart Metering Systems: An Overview. IEEE Signal Processing Magazine 2013, 30, 75–86. [CrossRef]
- Rottondi, C.; Verticale, G.; Krauss, C. Distributed Privacy-Preserving Aggregation of Metering Data in Smart Grids. IEEE Journal on Selected Areas in Communications 2013, 31, 1342–1354. [CrossRef]
- UK Power Networks. SmartMeter Energy Consumption Data in London Households. Available online: https://data.london.gov.uk/dataset/smartmeter-energy-consumption-data-in-london-households-vqm0d. Half-hourly readings from 5,567 households, November 2011–February 2014; accessed July 1, 2026.
Figure 1.
Proposed hierarchical homomorphic encryption framework for encrypted aggregation, authorized decryption, and validation.
Figure 1.
Proposed hierarchical homomorphic encryption framework for encrypted aggregation, authorized decryption, and validation.

Figure 2.
Node-wise average encryption time.

Figure 3.
Average aggregation time across hierarchy levels.

Figure 4.
Node-wise average aggregation time.

Figure 5.
Average decryption time across hierarchy levels.

Figure 6.
Node-wise average decryption time.

Figure 7.
Average memory consumption across hierarchy levels.

Figure 8.
Operation-level performance heatmap across hierarchy levels.

Figure 9.
Node-wise decryption accuracy after encrypted aggregation.

Figure 10.
Encryption time comparison across different hierarchical configurations.

Figure 11.
Homomorphic addition time comparison across hierarchical configurations.

Figure 12.
Aggregation time comparison across hierarchical configurations.

Figure 13.
Decryption time comparison across hierarchical configurations.

Table 1.
CKKS Parameter Configuration used in this project (via node-seal / Microsoft SEAL).
| Parameter | Value | Description |
|---|---|---|
| Polynomial Modulus Degree (n) | 8192 | slots per ciphertext |
| Coefficient Modulus (bit-widths) | [60, 40, 40, 60] | 200-bit total; 2 multiplication levels |
| Scale () | ; ∼12 digits of precision | |
| Security Level | 128-bit (tc128) | Classical 128-bit security |
Table 2.
Performance Comparison of BFV and CKKS Schemes.
| Metric | BFV | CKKS |
|---|---|---|
| Encryption latency (ms) | 7.77 | 6.65 |
| Decryption latency (ms) | 2.52 | 1.90 |
| Homomorphic addition latency (ms) | 0.39 | 0.22 |
| Memory utilization (MB) | 1030.93 | 975.99 |
| Mean absolute error | 0.00321 | 5.91e-10 |
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.