.png){kind=icon}
返回
PEEV: Parse Encrypt Execute Verify-A Verifiable FHE Framework
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2024.3424420.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Cloud computing has been a prominent technology that allows users to store their data and outsource intensive computations. However, users of cloud services are also concerned about protecting the confidentiality of their data against attacks that can leak sensitive information. Although traditional cryptography can be used to protect static data or data being transmitted over a network, it does not support processing of encrypted data. Homomorphic encryption can be used to allow processing directly on encrypted data, but a dishonest cloud provider can alter the computations performed, thus violating the integrity of the results. To overcome these issues, we propose PEEV (Parse, Encrypt, Execute, Verify), a framework that allows a developer with no background in cryptography to write programs operating on encrypted data, outsource computations to a remote server, and verify the correctness of the computations. The proposed framework relies on homomorphic encryption techniques as well as zero-knowledge proofs to achieve verifiable privacy-preserving computation. It supports practical deployments with low performance overheads and allows developers to express their encrypted programs in a high-level language, abstracting away the complexities of encryption and verification.
Keyword:
Cloud computing
homomorphic encryption
private and verifiable computation
zero-knowledge proofs
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
.png){kind=icon}
Parental Investment and Elite Family Structure in Preindustrial States: A Case Study of Late Medieval‐Early Modern Portuguese Genealogies工业化前国家的父母投资和精英家庭结构: 中世纪晚期-早期现代葡萄牙家谱的案例研究
PREAI
分享收藏
查看更多内容