中文
相关论文

相关论文: Cerberus: A Formal Approach to Secure and Efficien…

200 篇论文

Hardware-based Trusted Execution Environments (TEEs) are becoming increasingly prevalent in cloud computing, forming the basis for confidential computing. However, the security goals of TEEs sometimes conflict with existing cloud…

密码学与安全 · 计算机科学 2022-06-01 Yoshimichi Nakatsuka , Ercan Ozturk , Alex Shamis , Andrew Paverd , Peter Pietzuch

There is an increasing need to share threat information for the prevention of widespread cyber-attacks. While threat-related information sharing can be conducted through traditional information exchange methods, such as email communications…

Modern data centers have grown beyond CPU nodes to provide domain-specific accelerators such as GPUs and FPGAs to their customers. From a security standpoint, cloud customers want to protect their data. They are willing to pay additional…

密码学与安全 · 计算机科学 2022-11-02 Aritra Dhar , Supraja Sridhara , Shweta Shinde , Srdjan Capkun , Renzo Andri

Perceiving the surrounding environment is essential for enabling autonomous or assisted driving functionalities. Common tasks in this domain include detecting road users, as well as determining lane boundaries and classifying driving…

计算机视觉与模式识别 · 计算机科学 2022-10-04 Carmelo Scribano , Giorgia Franchini , Ignacio Sañudo Olmedo , Marko Bertogna

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

Demand for data-intensive workloads and confidential computing are the prominent research directions shaping the future of cloud computing. Computer architectures are evolving to accommodate the computing of large data better. Protecting…

密码学与安全 · 计算机科学 2023-04-11 Kha Dinh Duy , Hojoon Lee

Secure aggregation enables a group of mutually distrustful parties, each holding private inputs, to collaboratively compute an aggregate value while preserving the privacy of their individual inputs. However, a major challenge in adopting…

密码学与安全 · 计算机科学 2025-04-14 Romain de Laage , Peterson Yuhala , François-Xavier Wicht , Pascal Felber , Christian Cachin , Valerio Schiavoni

For trusted execution environments (TEEs), remote attestation permits establishing trust in software executed on a remote host. It requires that the measurement of a remote TEE is both complete and fresh: We need to measure all aspects that…

密码学与安全 · 计算机科学 2023-11-07 Franz Gregor , Robert Krahn , Do Le Quoc , Christof Fetzer

Multi-tenant computing platforms are typically comprised of several software and hardware components including platform firmware, host operating system kernel, virtualization monitor, and the actual tenant payloads that run on them…

密码学与安全 · 计算机科学 2023-04-14 Ravi Sahita , Atish Patra , Vedvyas Shanbhogue , Samuel Ortiz , Andrew Bresticker , Dylan Reid , Atul Khare , Rajnesh Kanwal

Confidential Virtual Machines (CVMs) are increasingly adopted to protect sensitive workloads from privileged adversaries such as the hypervisor. While they provide strong isolation guarantees, existing CVM architectures lack first-class…

密码学与安全 · 计算机科学 2026-05-07 Sina Abdollahi , Amir Al Sadi , David Kotz , Marios Kogias , Hamed Haddadi

Electroencephalogram (EEG)-based brain-computer interfaces (BCIs) are widely adopted due to their efficiency and portability; however, their decoding algorithms still face multiple challenges, including inadequate generalization,…

人机交互 · 计算机科学 2026-01-12 Tianwang Jia , Xiaoqing Chen , Dongrui Wu

Trusted Execution Environments (TEEs) are rapidly emerging as a root-of-trust for protecting sensitive applications and data using hardware-backed isolated worlds of execution. TEEs provide robust assurances regarding critical algorithm…

密码学与安全 · 计算机科学 2018-11-27 Carlton Shepherd , Raja N. Akram , Konstantinos Markantonakis

Two parties wish to collaborate on their datasets. However, before they reveal their datasets to each other, the parties want to have the guarantee that the collaboration would be fruitful. We look at this problem from the point of view of…

密码学与安全 · 计算机科学 2024-10-10 Hassan Jameel Asghar , Zhigang Lu , Zhongrui Zhao , Dali Kaafar

In federated learning (FL), data providers jointly train a machine learning model without sharing their training data. This makes it challenging to provide verifiable claims about the trained FL model, e.g., related to the employed training…

密码学与安全 · 计算机科学 2026-02-19 Jinnan Guo , Kapil Vaswani , Andrew Paverd , Peter Pietzuch

The widespread adoption of large-scale machine learning models in recent years highlights the need for distributed computing for efficiency and scalability. This work introduces a novel distributed machine learning paradigm --…

机器学习 · 计算机科学 2024-02-27 Horia Magureanu , Naïri Usher

Content-based routing (CBR) is a powerful model that supports scalable asynchronous communication among large sets of geographically distributed nodes. Yet, preserving privacy represents a major limitation for the wide adoption of CBR,…

分布式、并行与集群计算 · 计算机科学 2017-01-18 Rafael Pires , Marcelo Pasin , Pascal Felber , Christof Fetzer

Data hosted in a cloud environment can be subject to attacks from a higher privileged adversary, such as a malicious or compromised cloud provider. To provide confidentiality and integrity even in the presence of such an adversary, a number…

密码学与安全 · 计算机科学 2019-07-24 Mathias Morbitzer

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

Recommenders are central in many applications today. The most effective recommendation schemes, such as those based on collaborative filtering (CF), exploit similarities between user profiles to make recommendations, but potentially expose…

分布式、并行与集群计算 · 计算机科学 2022-06-02 Akash Dhasade , Nevena Dresevic , Anne-Marie Kermarrec , Rafael Pires

Conflict-free replicated data types (CRDTs) and the local-first concept are increasingly employed not only in small-scale collaboration systems among few users who trust each other, but also in large-scale systems, like Matrix for instant…

分布式、并行与集群计算 · 计算机科学 2026-04-28 Florian Jacob , Johanna Stuber , Hannes Hartenstein