中文
相关论文

相关论文: Dynamic Binary Translation for SGX Enclaves

200 篇论文

Dynamic Translation (DT) is a sophisticated technique that allows the implementation of high-performance emulators and high-level-language virtual machines. In this technique, the guest code is compiled dynamically at runtime. Consequently,…

编程语言 · 计算机科学 2020-09-01 Vanderson Martins do Rosario , Raphael Zinsly , Sandro Rigo , Edson Borin

Trusted Execution Environments (TEEs) have renewed interest in confidential analytics, but most prior evaluations focus on SQL database engines or earlier SGX generations. This paper studies an Arrow-native DataFrame engine, Polars, running…

密码学与安全 · 计算机科学 2026-05-22 Wei Wang , Burns Smith , Kenny Leftin

Modern interactive visualizations are akin to distributed systems, where user interactions, background data processing, remote requests, and streaming data read and modify the interface at the same time. This concurrency is crucial to…

人机交互 · 计算机科学 2019-07-02 Yifan Wu , Remco Chang , Eugene Wu , Joe Hellerstein

Synchronization of transaction pools (mempools) has shown potential for improving the performance and block propagation delay of state-of-the-art blockchains. Indeed, various heuristics have been proposed in the literature to this end, all…

分布式、并行与集群计算 · 计算机科学 2023-03-30 Novak Boškov , Şevval Şimşek , Ari Trachtenberg , David Starobinski

There has been significant progress in developing reinforcement learning (RL) training systems. Past works such as IMPALA, Apex, Seed RL, Sample Factory, and others, aim to improve the system's overall throughput. In this paper, we aim to…

This paper presents our experience with TREBLE, a two-year initiative to build the modular base in Android, a Java-based mobile platform running on the Linux kernel. Our TREBLE architecture splits the hardware independent core framework…

软件工程 · 计算机科学 2024-10-07 Keun Soo Yim , Iliyan Malchev , Andrew Hsieh , Dave Burke

Intel has introduced a trusted computing technology, Intel Software Guard Extension (SGX), which provides an isolated and secure execution environment called enclave for a user program without trusting any privilege software (e.g., an…

密码学与安全 · 计算机科学 2018-11-14 Jinwen Wang , Yueqiang Cheng , Qi Li , Yong Jiang

A novel language system has given rise to promising alternatives to standard formal and processor network models of computation. An interstring linked with a abstract machine environment, shares sub-expressions, transfers data, and…

编程语言 · 计算机科学 2010-05-31 Alexander Victor Berka

Mining data streams is a challenge per se. It must be ready to deal with an enormous amount of data and with problems not present in batch machine learning, such as concept drift. Therefore, applying a batch-designed technique, such as…

机器学习 · 计算机科学 2020-08-21 Lucca Portes Cavalheiro , Jean Paul Barddal , Alceu de Souza Britto , Laurent Heutte

In the ever-evolving landscape of scientific computing, properly supporting the modularity and complexity of modern scientific applications requires new approaches to workflow execution, like seamless interoperability between different…

分布式、并行与集群计算 · 计算机科学 2024-09-12 Iacopo Colonnelli , Doriana Medić , Alberto Mulone , Viviana Bono , Luca Padovani , Marco Aldinucci

Industrial chip development is inherently iterative, favoring localized, intent-driven updates over rewriting RTL from scratch. Yet most LLM-Aided Hardware Design (LAD) work focuses on one-shot synthesis, leaving this workflow…

新兴技术 · 计算机科学 2026-03-03 Changwen Xing , Yanfeng Lu , Lei Qi , Chenxu Niu , Jie Li , Xi Wang , Yong Chen , Jun Yang

Modern GPU clusters are built upon a complex hierarchy of heterogeneous interconnects, ranging from multi-rail RDMA to proprietary fabrics such as Multi-Node NVLink and Ascend UB. Orchestrating these diverse links effectively remains a…

Enclave deployments often fail to simultaneously be secure (e.g., resistant to side channel attacks), powerful (i.e., as fast as an off-the-shelf server), and flexible (i.e., unconstrained by development hurdles). In this paper, we present…

密码学与安全 · 计算机科学 2023-08-01 Philipp Winter , Ralph Giles , Moritz Schafhuber , Hamed Haddadi

Almost all applications stop scaling at some point; those that don't are seldom performant when considering time to solution on anything but aspirational/unicorn resources. Recognizing these tradeoffs as well as greater user functionality…

分布式、并行与集群计算 · 计算机科学 2021-06-28 Stephen Hudson , Jeffrey Larson , John-Luke Navarro , Stefan M. Wild

In this paper, we explore a new, yet critical, side-channel attack against Intel Software Guard Extension (SGX), called a branch shadowing attack, which can reveal fine-grained control flows (i.e., each branch) of an enclave program running…

密码学与安全 · 计算机科学 2017-06-05 Sangho Lee , Ming-Wei Shih , Prasun Gera , Taesoo Kim , Hyesoon Kim , Marcus Peinado

Transforming natural-language requests into reliable, production-ready data transformations remains challenging: correctness depends on precise schema linking and warehouse-specific SQL dialects, while the strongest supervision available…

人工智能 · 计算机科学 2025-10-06 Anni Li , Aria Attar , Paul Dong

Decentralized smart contracts enable trustless collaboration but suffer from limited privacy and scalability, which hinders broader adoption. Trusted Execution Environment (TEE) based off-chain execution frameworks offer a promising…

密码学与安全 · 计算机科学 2025-11-07 Keyu Zhang , Andrew Martin

With the proliferation of Trusted Execution Environments (TEEs) such as Intel SGX, a number of cloud providers will soon introduce TEE capabilities within their offering (e.g., Microsoft Azure). Although the integration of SGX within the…

密码学与安全 · 计算机科学 2018-09-14 Claudio Soriente , Ghassan Karame , Wenting Li , Sergey Fedorov

The ever-growing complexity of reinforcement learning (RL) tasks demands a distributed system to efficiently generate and process a massive amount of data. However, existing open-source libraries suffer from various limitations, which…

分布式、并行与集群计算 · 计算机科学 2024-06-24 Zhiyu Mei , Wei Fu , Jiaxuan Gao , Guangju Wang , Huanchen Zhang , Yi Wu

Most real-world graphs are dynamic in nature, with continuous and rapid updates to the graph topology, and vertex and edge properties. Such frequent updates pose significant challenges for inferencing over Graph Neural Networks (GNNs).…

分布式、并行与集群计算 · 计算机科学 2025-12-09 Pranjal Naman , Yogesh Simmhan