SP2UBI: Secure and Privacy-Preserving Usage-Based Insurance

arXiv:2608.01539 · cs.CR · Submitted 2026-08-02 · Read on arXiv

Mobin Aghamirkarimi, Matin Aghamirkarimi, Farid Zaredar, Morteza Amini

cs.CR

Submitted: 2026-08-02

Code: https://github.com/zama-ai/concrete

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Verification — 52× in this paper · explained in 2 episodes
Homomorphic Encryption — 17× in this paper
Usage-Based Insurance — 16× in this paper
Computational overhead — 11× in this paper · explained in 2 episodes
Core — 8× in this paper · explained in 2 episodes
Fully Homomorphic Encryption — 8× in this paper
Group Signatures — 7× in this paper
Quantization — 7× in this paper · explained in 15 episodes
Communication Overhead — 6× in this paper · explained in 2 episodes
Integrated Sensing and Communications — 6× in this paper
Obfuscation — 6× in this paper · explained in 2 episodes
Fully Homomorphic Encryption (FHE) — 4× in this paper · explained in 5 episodes
Internet of Things — 4× in this paper
Intelligent Transportation Systems — 3× in this paper
On-Board Unit — 3× in this paper
Decode — 2× in this paper · explained in 2 episodes
Group Manager — 2× in this paper
Privacy-Preserving Machine Learning — 2× in this paper
Telematics Service Provider — 2× in this paper
Torus Fully Homomorphic Encryption — 2× in this paper
Trace — 2× in this paper · explained in 2 episodes
Trusted Execution Environment — 2× in this paper
Abort Protocol — 1× in this paper · explained in 1 episode
Accountability — 1× in this paper · explained in 2 episodes
Benchmark — 1× in this paper · explained in 2 episodes
Calibration — 1× in this paper · explained in 9 episodes
Coherence — 1× in this paper · explained in 2 episodes
Data Provenance — 1× in this paper · explained in 3 episodes
Data Sovereignty — 1× in this paper · explained in 2 episodes
Decoupling — 1× in this paper · explained in 2 episodes
Federated Learning — 1× in this paper · explained in 19 episodes
Global Positioning System — 1× in this paper
Hardware Security Module — 1× in this paper
Lasso — 1× in this paper · explained in 2 episodes
Nash Equilibrium — 1× in this paper · explained in 2 episodes
Partially Homomorphic Encryption — 1× in this paper
Post-Training Quantization (PTQ) — 1× in this paper · explained in 2 episodes
Provenance — 1× in this paper · explained in 5 episodes
Quantization-Aware Training — 1× in this paper · explained in 3 episodes
Scoring Function — 1× in this paper · explained in 2 episodes
Signalto-Noise Ratio — 1× in this paper
Temporal Correlations — 1× in this paper · explained in 2 episodes
Vehicle Speed Sensor — 1× in this paper
Verifiability — 1× in this paper · explained in 3 episodes

Terminology

Related papers