---
title: 'DP2Guard: Privacy-Preserving FL for IIoT'
url: https://www.emergentmind.com/topics/dp2guard
type: topic
---

# DP2Guard: Privacy-Preserving FL for IIoT

DP2Guard is a privacy-preserving federated learning framework for Industrial IoT that combines lightweight gradient masking, hybrid poisoning detection, trust score–based adaptive aggregation, and blockchain-backed auditability within a dual-server architecture. It is designed to address two problems emphasized in privacy-preserving federated learning: local gradient updates can leak sensitive information even when raw data never leaves the device, and malicious clients can submit poisoned updates that degrade or manipulate the global model. The framework is presented as a lightweight alternative to homomorphic encryption and secure multi-party computation in resource-constrained IIoT settings, while also targeting robustness against adaptive model poisoning attacks [2507.16134].

## 1. Definition and design objectives

DP2Guard is described as a **lightweight, privacy-preserving, and Byzantine-robust federated learning framework** for Industrial IoT. Its stated purpose is to let edge devices collaboratively train a global model without exposing raw data and while resisting model poisoning. The paper identifies two central shortcomings in prior privacy-preserving federated learning schemes: reliance on heavyweight encryption techniques produces substantial communication and computation overhead, and single-strategy poisoning defenses often fail against adaptive adversaries [2507.16134].

The framework therefore combines four components. The first is a **lightweight gradient masking mechanism** that replaces heavier cryptographic protection for local updates. The second is a **hybrid defense strategy** that uses singular value decomposition and cosine similarity to characterize uploaded gradients. The third is a **trust score–based adaptive aggregation scheme** that uses historical behavior to adjust client influence over time. The fourth is a **blockchain layer** that records aggregated results and trust information for tamper resistance and auditability.

The IIoT setting is central to the method’s motivation. The paper emphasizes that devices in such environments are often resource-constrained and operate under reliability and latency constraints. This suggests that DP2Guard is intended as a systems compromise: lighter than HE- or SMPC-centered privacy-preserving federated learning, but more robust than defenses based on a single anomaly score. A plausible implication is that its design priorities are shaped as much by deployment constraints as by threat modeling.

## 2. System model, architecture, and threat assumptions

DP2Guard uses a **dual-server plus blockchain** architecture. The main entities are clients or edge devices \(E_i\), two servers \(S_1\) and \(S_2\), a consortium blockchain, and a task publisher. The publisher initializes the task by defining the initial global model \(\mathbf{w}^{(0)}\) and publishing it to the blockchain. Clients download the current global model, train locally, compute gradients, and then participate in a privacy-preserving upload procedure [2507.16134].

At training round \(t\), the local gradient is written as
\[
g_i^{(t)}=\nabla_\omega \mathcal{L}_i(\omega_t).
\]
The corresponding local model update is
\[
\omega_i^t=\omega_t-\eta g_i^{(t)},
\]
and equivalently
\[
\Delta_i^{(t)}=\omega_i^t-\omega_t.
\]

The two servers have different roles. Server \(S_1\) receives one masked share from each client and performs mean-centering on that share. Server \(S_2\) receives the complementary share, reconstructs centered gradients, runs anomaly detection, computes trust scores, and aggregates its own share. Blockchain stores the initial model, aggregated outputs, and trust-related information. The paper presents this ledger as an auditable and tamper-resistant record of the training process.

The threat model assumes that malicious clients may submit poisoned gradients and that the proportion of malicious clients is **less than half**. The two servers are modeled as **curious-but-honest** and are assumed to follow the protocol while trying to infer private information from what they receive. A critical assumption is that \(S_1\) and \(S_2\) do **not** collude. The blockchain is assumed to operate under a permissioned-chain BFT-style trust model with at least
\[
\zeta > \frac{2}{3}
\]
trustworthy nodes. The paper explicitly identifies non-collusion between the two servers as a limitation; collusion is not handled by the current design.

## 3. Privacy mechanism: additive splitting, masking, and centered reconstruction

The privacy mechanism begins by splitting each client gradient into two additive shares. For local gradient
\[
\mathbf{g}_i \in \mathbb{R}^{m \times n},
\]
the client forms
\[
\mathbf{g}_i = \mathbf{g}_i^{(1)} + \mathbf{g}_i^{(2)}.
\]
A random mask
\[
\mathbf{r}_i \in \mathbb{R}^{m \times n}
\]
is then sampled, and the two masked shares are defined as
\[
\tilde{\mathbf{g}}_i^{(1)}=\mathbf{g}_i^{(1)}+\mathbf{r}_i, \qquad
\tilde{\mathbf{g}}_i^{(2)}=\mathbf{g}_i^{(2)}-\mathbf{r}_i.
\]
The first masked share is sent to \(S_1\), and the second is sent to \(S_2\) [2507.16134].

Each server performs mean-centering on its received share. At \(S_1\),
\[
\hat{\mathbf{g}}_i^{(1)}=\tilde{\mathbf{g}}_i^{(1)}-\overline{\tilde{\mathbf{g}}^{(1)}}, \qquad
\overline{\tilde{\mathbf{g}}^{(1)}}=\frac{1}{N}\sum_{j=1}^N \tilde{\mathbf{g}}_j^{(1)}.
\]
At \(S_2\),
\[
\hat{\mathbf{g}}_i^{(2)}=\tilde{\mathbf{g}}_i^{(2)}-\overline{\tilde{\mathbf{g}}^{(2)}}, \qquad
\overline{\tilde{\mathbf{g}}^{(2)}}=\frac{1}{N}\sum_{j=1}^N \tilde{\mathbf{g}}_j^{(2)}.
\]
Server \(S_2\) then reconstructs the centered gradient
\[
\hat{\mathbf{g}}_i=\hat{\mathbf{g}}_i^{(1)}+\hat{\mathbf{g}}_i^{(2)}.
\]

Expanding the reconstruction yields
\[
\begin{aligned}
\hat{\mathbf{g}}_i
&=\left(\tilde{\mathbf{g}}_i^{(1)}-\overline{\tilde{\mathbf{g}}^{(1)}}\right)+\left(\tilde{\mathbf{g}}_i^{(2)}-\overline{\tilde{\mathbf{g}}^{(2)}}\right) \\
&=\left(\mathbf{g}_i^{(1)}+\mathbf{r}_i-\overline{\mathbf{g}^{(1)}}-\overline{\mathbf{r}}\right)
+\left(\mathbf{g}_i^{(2)}-\mathbf{r}_i-\overline{\mathbf{g}^{(2)}}+\overline{\mathbf{r}}\right) \\
&=\mathbf{g}_i^{(1)}+\mathbf{g}_i^{(2)}-\overline{\mathbf{g}^{(1)}}-\overline{\mathbf{g}^{(2)}} \\
&=\mathbf{g}_i-\overline{\mathbf{g}}.
\end{aligned}
\]

The paper states a formal privacy theorem for this mechanism: under the assumption that \(S_1\) and \(S_2\) do not collude, execution of DP2Guard does not leak information about the true local gradients \(\mathbf{g}_i\) to either server individually. The proof is given by a hybrid argument comparing the real protocol view to an ideal execution with a trusted functionality, ending with the indistinguishability statement
\[
\mathrm{REAL}_{\mathcal{A}}^{\Pi} \approx \mathrm{IDEAL}_{\mathcal{A}^*}^{\mathcal{F}}.
\]

This privacy claim is specific. It is framed against **individual semi-honest servers**, not against colluding servers or fully malicious active deviations. That boundary is important for interpreting the framework’s guarantees.

## 4. Hybrid poisoning detection and trust-based aggregation

After reconstruction, server \(S_2\) operates on centered gradients
\[
\hat{\mathbf{g}}_i = \mathbf{g}_i-\bar{\mathbf{g}}.
\]
These are stacked into
\[
\mathbf{G} = [\hat{\mathbf{g}}_1,\hat{\mathbf{g}}_2,\ldots,\hat{\mathbf{g}}_N] \in \mathbb{R}^{d \times N}.
\]
DP2Guard then performs singular value decomposition,
\[
\mathbf{G}=\mathbf{U}\boldsymbol{\Sigma}\mathbf{V}^{\top},
\]
and uses the top right singular vector \(\mathbf{v}_1\) as the dominant direction for feature extraction [2507.16134].

Each client receives an SVD-derived score
\[
s_i=\left(\hat{\mathbf{g}}_i^{\top}\mathbf{v}_1\right)^2.
\]
The algorithm box in the summary also gives a closely related form,
\[
s_i^{\text{svd}} \leftarrow |\langle \hat{\mathbf{g}}_i, v_1 \rangle|.
\]
Both expressions play the same role in the description: they quantify how strongly a client’s centered gradient aligns with the dominant direction in the batch.

Directional consistency is measured through pairwise cosine similarity:
\[
c_{ij}= \frac{\hat{\mathbf{g}}_i^{\top}\hat{\mathbf{g}}_j}
{\|\hat{\mathbf{g}}_i\| \cdot \|\hat{\mathbf{g}}_j\|}.
\]
Each client is assigned the median of its pairwise similarities,
\[
c_i=\operatorname{median}\left(\{c_{ij}\mid j\neq i\}\right).
\]
These two statistics are fused into a feature vector
\[
\mathbf{f}_i = [s_i, c_i]^{\top}.
\]

The paper describes the next stage as a clustering-based separation of benign and anomalous clients. The main text states that **K-means clustering** with predefined cluster number \(K=2\) is applied, and that the largest cluster is treated as benign. However, the algorithm box says **Mean Shift clustering**. This discrepancy is explicitly noted in the summary and is one of the paper’s reproducibility ambiguities. The surrounding prose more consistently describes the intended method as K-means with two clusters, but the inconsistency remains unresolved in the provided description.

Trust is then computed from distance to the benign centroid. For client \(i\) at round \(t\),
\[
\operatorname{Dis}_i^{(t)}=\left\|\mathbf{f}_i^{(t)}-\boldsymbol{\mu}^{(t)}\right\|,
\]
and direct trust is defined as
\[
\gamma_i^{(t)} = \frac{1}{1+\operatorname{Dis}_i^{(t)}}.
\]
Historical trust is updated by exponential smoothing:
\[
\operatorname{Trust}_i^{(t)} = \beta \cdot \operatorname{Trust}_i^{(t-1)} + (1-\beta)\cdot \gamma_i^{(t)}, \qquad \beta \in [0,1).
\]
Aggregation weights are then normalized as
\[
\tau_i^{(t)} = \frac{\operatorname{Trust}_i^{(t)}}{\sum_{j=1}^N \operatorname{Trust}_j^{(t)}}.
\]

This makes DP2Guard different from FedAvg and from hard-selection robust aggregators. It does not use uniform weighting, nor does it select a single subset once per round using one metric. Instead, it assigns continuous weights that depend on both current anomaly features and historical behavior. The paper presents this as a stronger response to adaptive attackers than single-strategy defenses.

## 5. Weighted masked aggregation and blockchain-backed auditability

Aggregation is performed separately on the two masked shares using the trust-derived weights. At \(S_2\),
\[
\tilde{\mathbf{g}}_{\mathrm{agg}}^{(2)}=\sum_{i=1}^N \tau_i^{(t)} \cdot \tilde{\mathbf{g}}_i^{(2)},
\]
and at \(S_1\),
\[
\tilde{\mathbf{g}}_{\mathrm{agg}}^{(1)}=\sum_{i=1}^N \tau_i^{(t)} \cdot \tilde{\mathbf{g}}_i^{(1)}.
\]
When both are combined, the random masks cancel:
\[
\begin{aligned}
\tilde{\mathbf{g}}_{\mathrm{agg}}
&=\tilde{\mathbf{g}}_{\mathrm{agg}}^{(1)}+\tilde{\mathbf{g}}_{\mathrm{agg}}^{(2)} \\
&= \sum_{i=1}^N \tau_i^{(t)} \left( \mathbf{g}_i^{(1)} + \mathbf{r}_i + \mathbf{g}_i^{(2)} - \mathbf{r}_i \right) \\
&= \sum_{i=1}^N \tau_i^{(t)} \cdot \mathbf{g}_i.
\end{aligned}
\]
Thus the framework preserves exact weighted aggregation while keeping each individual server from seeing the full local gradient [2507.16134].

Blockchain is used as a record-keeping and dissemination layer rather than as the numerical aggregation engine. The initial global model \(\mathbf{w}^{(0)}\) is published on-chain. After trust-weighted aggregation at \(S_2\), the server publishes
\(\tilde{\mathbf{g}}_{\mathrm{agg}}^{(2)}\) and the trust weights \(\{\tau_i^{(t)}\}_{i=1}^N\) to the blockchain. Server \(S_1\) then retrieves these values, computes its own weighted share aggregate, and finishes reconstruction. Aggregated results and trust-related metadata are recorded to provide tamper resistance and auditability.

The blockchain component is therefore auxiliary but structurally important. It supports transparency and traceability in consortium-style settings, especially in industrial deployments spanning multiple administrative domains. At the same time, the paper does not provide a detailed latency or throughput study for the blockchain layer. This suggests that the blockchain is a governance mechanism in the current presentation, not the main performance focus.

## 6. Experimental results, overhead analysis, and limitations

DP2Guard is evaluated on **MNIST** and **Fashion-MNIST** using **LeNet-5**, with **50 clients**, **300 global rounds**, one local epoch per round, SGD with learning rate
\[
\eta = 0.01,
\]
batch size 32, and both IID and non-IID partitions. The non-IID setting uses Dirichlet partitioning with
\[
\alpha = 0.5.
\]
The malicious-client ratio is varied over
\[
Adv_{\text{ratio}} = \{0\%, 10\%, 20\%, 30\%, 40\%\}.
\]
Baselines are **Multi-Krum**, **DnC**, **FLTrust**, and **ShieldFL**. Four poisoning attacks are considered: **Label-Flipping**, **Fang**, **Min-Max**, and **Min-Sum** [2507.16134].

Under no attack, the paper reports that DP2Guard converges within about 50 rounds, while FedAvg and Multi-Krum need over 100 rounds to stabilize. Under attack, the strongest results are reported at 40% malicious clients. In IID settings, DP2Guard reaches **94.26%** on MNIST and **79.4%** on Fashion-MNIST under Fang attack, **95.5%** and **79.97%** under Min-Max, and **96.24%** and **78.3%** under Min-Sum. In non-IID settings, the reported results include **90.24%** on MNIST and **68.91%** on Fashion-MNIST under Min-Max, and **91.04%** on MNIST and **72.6%** on Fashion-MNIST under Min-Sum. The paper’s central empirical claim is that DP2Guard remains strong under adaptive attacks and non-IID data, where several baselines degrade sharply.

The framework also includes a complexity analysis. Client-side masking costs
\[
\mathcal{O}(d)
\]
in both computation and communication. Mean-centering and reconstruction cost
\[
\mathcal{O}(Nd),
\]
while the detection stage is dominated by SVD and pairwise similarities, reported as
\[
\mathcal{O}(\min(Nd^2,\ dN^2)) + \mathcal{O}(N^2d),
\]
and summarized elsewhere as
\[
\mathcal{O}(Nd^2)+\mathcal{O}(N^2d).
\]
Trust updates cost
\[
\mathcal{O}(N),
\]
and weighted aggregation costs
\[
\mathcal{O}(Nd).
\]
This supports the paper’s positioning of DP2Guard as client-lightweight but leaves open the question of server-side scaling when both client count \(N\) and gradient dimension \(d\) are large.

Several limitations are explicit. The privacy guarantee fundamentally relies on the **non-colluding two-server assumption**; if \(S_1\) and \(S_2\) collude, the masking mechanism can fail. The paper provides a formal privacy theorem but does **not** provide an equally strong theorem for Byzantine robustness under specified attack models. It also does not provide a full ablation isolating the contributions of masking, SVD, cosine similarity, clustering, trust smoothing, and blockchain individually. Finally, the inconsistency between **K-means** in the main description and **Mean Shift** in the algorithm box is a notable methodological ambiguity.

These limitations do not negate the paper’s main contribution, but they bound its claims. The strongest evidence presented is that, within an industrial consortium setting that can support two non-colluding semi-honest servers, DP2Guard offers a concrete compromise between privacy, robustness, efficiency, and accountability.

Source: https://www.emergentmind.com/topics/dp2guard