Tootfinder

SenseCrypt: Sensitivity-guided Selective Homomorphic Encryption for Joint Federated Learning in Cross-Device Scenarios
Borui Li, Li Yan, Junhao Han, Jianmin Liu, Lei Yu
https://arxiv.org/abs/2508.04100

SenseCrypt: Sensitivity-guided Selective Homomorphic Encryption for Joint Federated Learning in Cross-Device Scenarios
Homomorphic Encryption (HE) prevails in securing Federated Learning (FL), but suffers from high overhead and adaptation cost. Selective HE methods, which partially encrypt model parameters by a global mask, are expected to protect privacy with reduced overhead and easy adaptation. However, in cross-device scenarios with heterogeneous data and system capabilities, traditional Selective HE methods deteriorate client straggling, and suffer from degraded HE overhead reduction performance. According…

Liftable braids and the coloured braid groupoid
Joan Licata, Vera V\'ertesi
https://arxiv.org/abs/2508.05146 https://arxiv.org/pdf/2508.05146

Liftable braids and the coloured braid groupoid
When $π:\widetildeΣ\rightarrow D^2$ is a cover of the disc branched over $n$ marked points, the braid group $B_n$ acts on the disc by homeomorphisms fixing the marked points setwise. A braid $β$ \textit{lifts} if there is a homeomorphism $\widetildeβ\in \textit{Mod}(\widetildeΣ)$ such that $β\circ π=π\circ \widetildeβ$. For arbitrary covers, the \textit{lifting homomorphism} taking $β$ to $\widetildeβ$ is only defined on a proper subgroup of the braid group. This paper extends the li…

New policy in Florida makes solar installations easier and potentially saves thousands. Don't miss out on the 30% federal tax credit before 2025. #climatechange #climatesolutions #climate

Solar experts urge homeowners to quickly upgrade after new policy slashes red tape for installations: 'Potentially saving thousands'
A new Florida's solar law promises to slash permitting delays and cut red tape for homeowners who go solar.

Note on injectivity in second-gradient Nonlinear Elasticity
Stanislav Hencl, Kaushik Mohanta
https://arxiv.org/abs/2507.04938 https://

Note on injectivity in second-gradient Nonlinear Elasticity
Let $q>1$, $(1-\frac{1}{q})a\geq 1$ and let $Ω\subset \mathbb{R}^2$ be Lipschitz domain. We show that planar mappings in the second order Sobolev space $f\in W^{2,q}(Ω,\mathbb{R}^2)$ with $|J_f|^{-a}\in L^1(Ω)$ are homeomorphism if they agree with a homeomorphism on the boundary. The condition $(1-\frac{1}{q})a\geq 1$ is sharp. We also have a new sharp result about the $\mathcal{H}^{n-1}$ measure of the projection of the set $\{J_f=0\}$ in $\mathbb{R}^n$.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Generically Automating Separation Logic by Functors, Homomorphisms and Modules
Qiyuan Xu, David Sanan, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu

Linearly Homomorphic Ring Signature Scheme over Lattices
Heng Guo, Kun Tian, Fengxia Liu, Zhiyong Zheng
https://arxiv.org/abs/2507.02281 https://

Linearly Homomorphic Ring Signature Scheme over Lattices
Homomorphic ring signature schemes combine the strong anonymity of ring signatures with the computability of homomorphic signatures, demonstrating significant potential in scenarios requiring both anonymous data provenance and verifiable homomorphic computation (e.g., confidential blockchain transactions and secure multi-party computation). However, no feasible homomorphic ring signature scheme currently exists. In this work, we propose the first lattice-based linearly homomorphic ring signat…

Experimental Evaluation of Post-Quantum Homomorphic Encryption for Privacy-Preserving V2X Communication
Abdullah Al Mamun, Kyle Yates, Antsa Rakotondrafara, Mashrur Chowdhury, Ryann Cartor, Shuhong Gao
https://arxiv.org/abs/2508.02461

Experimental Evaluation of Post-Quantum Homomorphic Encryption for Privacy-Preserving V2X Communication
Intelligent Transportation Systems (ITS) fundamentally rely on vehicle-generated data for applications such as congestion monitoring and route optimization, making the preservation of user privacy a critical challenge. Homomorphic Encryption (HE) offers a promising solution by enabling computation on encrypted data without revealing underlying content. This study presents the first real-world experimental evaluation of three post-quantum secure HE schemes, i.e., Brakerski-Fan-Vercauteren (BFV),…

FIDESlib: A Fully-Fledged Open-Source FHE Library for Efficient CKKS on GPUs
Carlos Agull\'o-Domingo (Universidad de Murcia), \'Oscar Vera-L\'opez (Universidad de Murcia), Seyda Guzelhan (Boston University), Lohit Daksha (Boston University), Aymane El Jerari (Northeastern University), Kaustubh Shivdikar (Advanced Micro Devices), Rashmi Agrawal (Boston University), David Kaeli (Northeastern University), Ajay Joshi (Boston University), Jos\'e L. Abell\'an (Universidad…

FIDESlib: A Fully-Fledged Open-Source FHE Library for Efficient CKKS on GPUs
Word-wise Fully Homomorphic Encryption (FHE) schemes, such as CKKS, are gaining significant traction due to their ability to provide post-quantum-resistant, privacy-preserving approximate computing; an especially desirable feature in Machine-Learning-as-a-Service (MLaaS) cloud-computing paradigms. OpenFHE is a leading CPU-based FHE library with robust CKKS operations, but its server-side performance is not yet sufficient for practical cloud deployment. As GPU computing becomes more common in da…

A Non-leveled and Reliable Approximate FHE Framework through Binarized Polynomial Rings
Baigang Chen, Dongfang Zhao
https://arxiv.org/abs/2508.02943 https://

A Non-leveled and Reliable Approximate FHE Framework through Binarized Polynomial Rings
Homomorphic encryption (HE) enables secure computation on encrypted data, safeguarding user privacy in domains such as cloud computing, healthcare, and finance. Among fully homomorphic encryption (FHE) schemes, CKKS is notable for supporting approximate arithmetic over complex numbers, a key requirement for machine-learning and numerical workloads. However, CKKS incurs rapid noise growth, complex parameter tuning, and relies on costly modulus switching. We propose a binary variant of CKKS that …