中文
相关论文

相关论文: A Hybrid Approach to Secure Function Evaluation Us…

200 篇论文

In two-party secret sharing scheme, values are typically encoded as unsigned integers $\mathsf{uint}(x)$, whereas real-world applications often require computations on signed real numbers $\mathsf{Real}(x)$. To enable secure evaluation of…

密码学与安全 · 计算机科学 2025-09-03 Hao Guo , Zhaoqian Liu , Liqiang Peng , Shuaishuai Li , Ximing Fu , Weiran Liu , Lin Qu

With the growing popularity of LLMs among the general public users, privacy-preserving and adversarial robustness have become two pressing demands for LLM-based services, which have largely been pursued separately but rarely jointly. In…

密码学与安全 · 计算机科学 2025-02-04 Jiawen Zhang , Kejia Chen , Zunlei Feng , Jian Lou , Mingli Song , Jian Liu , Xiaohu Yang

Trusted Execution Environments (TEEs) suffer from performance issues when executing certain management instructions, such as creating an enclave, context switching in and out of protected mode, and swapping cached pages. This is especially…

密码学与安全 · 计算机科学 2023-09-15 James Choncholas , Ketan Bhardwaj , Ada Gavrilovska

Besides Intel's SGX technology, there are long-running discussions on how trusted computing technologies can be used to cloak malware. Past research showed example methods of malicious activities utilising Flicker, Trusted Platform Module,…

密码学与安全 · 计算机科学 2022-11-02 Kubilay Ahmet Küçük , Steve Moyle , Andrew Martin , Alexandru Mereacre , Nicholas Allott

Intel Software Guard Extensions (SGX) local and remote attestation mechanisms enable an enclave to attest its identity (i.e., the enclave measurement, which is the cryptographic hash of its initial code and data) to an enclave. To verify…

密码学与安全 · 计算机科学 2026-03-03 Guoxing Chen , Yinqian Zhang

Intel SGX enables memory isolation and static integrity verification of code and data stored in user-space memory regions called enclaves. SGX effectively shields the execution of enclaves from the underlying untrusted OS. Attackers cannot…

密码学与安全 · 计算机科学 2022-06-16 Flavio Toffalini , Mathias Payer , Jianying Zhou , Lorenzo Cavallaro

Hardware-supported security mechanisms like Intel Software Guard Extensions (SGX) provide strong security guarantees, which are particularly relevant in cloud settings. However, their reliance on physical hardware conflicts with cloud…

密码学与安全 · 计算机科学 2018-10-04 Fritz Alder , Arseny Kurnikov , Andrew Paverd , N. Asokan

Intel Software Guard Extensions (SGX) provides a trusted execution environment (TEE) to run code and operate sensitive data. SGX provides runtime hardware protection where both code and data are protected even if other code components are…

密码学与安全 · 计算机科学 2020-06-25 Alexander Nilsson , Pegah Nikbakht Bideh , Joakim Brorsson

Trusted execution environments like Intel SGX provide \emph{enclaves}, which offer strong security guarantees for applications. Running entire applications inside enclaves is possible, but this approach leads to a large trusted computing…

密码学与安全 · 计算机科学 2023-12-21 Peterson Yuhala , Pascal Felber , Hugo Guiroux , Jean-Pierre Lozi , Alain Tchana , Valerio Schiavoni , Gaël Thomas

Process-based confidential computing enclaves such as Intel SGX can be used to protect the confidentiality and integrity of workloads, without the overhead of virtualisation. However, they introduce a notable performance overhead,…

密码学与安全 · 计算机科学 2021-12-15 Jakob Svenningsson , Nicolae Paladi , Arash Vahidi

Semi-Private Function Evaluation (SPFE) enables joint computation while protecting both input data and the function itself. A practical instantiation is gate-hiding garbled circuits, which conceal gate functionalities while revealing…

密码学与安全 · 计算机科学 2026-05-05 Chao Yin , Zunchen Huang , Chenglu Jin , Marten van Dijk , Fabio Massacci

Hardware support for trusted execution in modern CPUs enables tenants to shield their data processing workloads in otherwise untrusted cloud environments. Runtime systems for the trusted execution must rely on an interface to the untrusted…

Homomorphic encryption (HE) is widely adopted in untrusted environments such as federated learning. A notable limitation of conventional single-key HE schemes is the stringent security assumption regarding collusion between the parameter…

密码学与安全 · 计算机科学 2023-12-29 Dongfang Zhao

The Shapley value (SV) is a fair and principled metric for contribution evaluation in cross-silo federated learning (cross-silo FL), wherein organizations, i.e., clients, collaboratively train prediction models with the coordination of a…

密码学与安全 · 计算机科学 2024-12-30 Shuyuan Zheng , Yang Cao , Masatoshi Yoshikawa

Malware attacks are a significant part of the new software security threats detected each year. Intel Software Guard Extensions (SGX) are a set of hardware instructions introduced by Intel in their recent lines of processors that are…

密码学与安全 · 计算机科学 2020-09-24 Vlad Crăciun , Pascal Felber , Andrei Mogage , Emanuel Onica , Rafael Pires

Secure Function Evaluation (SFE) has received recent attention due to the massive collection and mining of personal data, but remains impractical due to its large computational cost. Garbled Circuits (GC) is a protocol for implementing SFE…

密码学与安全 · 计算机科学 2019-12-05 Xin Fang , Stratis Ioannidis , Miriam Leeser

Modern computing environments demand robust security measures to protect sensitive data and resources. Ciphertext-Policy Attribute-Based Encryption (CP-ABE) is a well-established encryption technique known for its fine-grained access…

密码学与安全 · 计算机科学 2024-09-12 Vivek Suryawanshi , Shamik Sural

We propose a federated Function-as-a-Service (FaaS) execution model that provides secure and stateful execution in both Cloud and Edge environments. The FaaS workers, called Paranoid Stateful Lambdas (PSLs), collaborate with one another to…

Processing sensitive data, such as those produced by body sensors, on third-party untrusted clouds is particularly challenging without compromising the privacy of the users generating it. Typically, these sensors generate large quantities…

密码学与安全 · 计算机科学 2019-06-18 Carlos Segarra , Ricard Delgado-Gonzalo , Mathieu Lemay , Pierre-Louis Aublin , Peter Pietzuch , Valerio Schiavoni

We present two Secure Two Party Computation (STPC) protocols for piecewise function approximation on private data. The protocols rely on a piecewise approximation of the to-be-computed function easing the implementation in a STPC setting.…

密码学与安全 · 计算机科学 2016-11-17 Riccardo Lazzeretti , Tommaso Pignata , Mauro Barni