中文
相关论文

相关论文: A Scalable, Trustworthy Infrastructure for Collabo…

200 篇论文

Containerization simplifies the sharing and deployment of applications when environments change in the software delivery chain. To deploy an application, container delivery methods push and pull container images. These methods operate on…

数据库 · 计算机科学 2021-04-07 Yuta Nakamura , Raza Ahmad , Tanu Malik

Supply chain attacks threaten open-source software ecosystems. This paper proposes a formal framework for quantifying trust in third-party software dependencies that is both formally checkable - formalized in satisfiability modulo theories…

计算机科学中的逻辑 · 计算机科学 2026-02-04 Muhammad Hassnain , Anirudh Basu , Ethan Ng , Caleb Stanford

The reproducibility of software environments is a critical concern in modern software engineering, with ramifications ranging from the effectiveness of collaboration workflows to software supply chain security and scientific…

软件工程 · 计算机科学 2026-01-21 Julien Malka , Stefano Zacchiroli , Théo Zimmermann

Traditionally, applications that are used in large and small enterprises were deployed on "bare metal" servers installed with operating systems. Recently, the use of multiple virtual machines (VMs) on the same physical server was adopted…

密码学与安全 · 计算机科学 2021-11-24 Ann Yi Wong , Eyasu Getahun Chekole , Martin Ochoa , Jianying Zhou

Container technologies such as Docker have become a crucial component of many software industry practices especially those pertaining to reproducibility and portability. The containerization philosophy has influenced the scientific…

分布式、并行与集群计算 · 计算机科学 2020-08-05 Peter Z. Vaillancourt , J. Eric Coulter , Richard Knepper , Brandon Barker

Malware detection is increasingly challenged by evolving techniques like obfuscation and polymorphism, limiting the effectiveness of traditional methods. Meanwhile, the widespread adoption of software containers has introduced new security…

Containers as the unit of application delivery are the 'next big thing' in the software development world. They enable developers to create an executable image containing an application bundled with all its dependencies which a user can run…

软件工程 · 计算机科学 2017-02-13 Jonas Weber

The rapid integration of Large Language Models (LLMs) into decentralized physical infrastructure networks (DePIN) is currently bottlenecked by the Verifiability Trilemma, which posits that a decentralized inference system cannot…

密码学与安全 · 计算机科学 2025-12-24 Aaron Chan , Alex Ding , Frank Chen , Alan Wu , Bruce Zhang , Arther Tian

Scientists rely on simulations to study natural phenomena. Trusting the simulation results is vital to develop sciences in any field. One approach to build trust is to ensure the reproducibility and traceability of the simulations through…

分布式、并行与集群计算 · 计算机科学 2020-09-21 Paula Olaya , Jay Lofstead , Michela Taufer

Cloud computing has emerged as a corner stone of today's computing landscape. More and more customers who outsource their infrastructure benefit from the manageability, scalability and cost saving that come with cloud computing. Those…

密码学与安全 · 计算机科学 2022-05-13 Ferdinand Brasser , Patrick Jauernig , Frederik Pustelnik , Ahmad-Reza Sadeghi , Emmanuel Stapf

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

Reproducible container builds promise a simple integrity check for software supply chains: rebuild an image from its Dockerfile and compare hashes. We build a Docker measurement pipeline and apply it to a stratified sample of 2,000 GitHub…

分布式、并行与集群计算 · 计算机科学 2026-02-23 Oreofe Solarin

Recent developments in the commercial open source community have catalysed the use of Linux containers for scalable deployment of web-based applications to the cloud. Scientific software can be containerized with dependencies, configuration…

软件工程 · 计算机科学 2015-09-30 Robert Nagler , David Bruhwiler , Paul Moeller , Stephen Webb

In this article we look at the potential of cloud containers and we provide some guidelines for companies and organisations that are starting to look at how to migrate their legacy infrastructure to something modern, reliable and scalable.…

分布式、并行与集群计算 · 计算机科学 2021-11-04 Damiano Perri , Marco Simonetti , Sergio Tasso , Federico Ragni , Osvaldo Gervasi

Virtualization enables information and communications technology industry to better manage computing resources. In this regard, improvements in virtualization approaches together with the need for consistent runtime environment, lower…

密码学与安全 · 计算机科学 2021-01-12 Omar Javed , Salman Toor

The Rocker Project provides widely used Docker images for R across different application scenarios. This article surveys downstream projects that build upon the Rocker Project images and presents the current state of R packages for managing…

Secure sensor calibration constitutes a foundational step that underpins operational safety in the Industrial Internet of Things. While much attention has been given to IoT security such as the use of TLS to secure sensed data, little…

密码学与安全 · 计算机科学 2020-03-03 Ryan Shah , Michael McIntee , Shishir Nagaraja , Sahil Bhandary , Prerna Arote , Joy Kuri

Merkle hash trees are the standard method to protect the integrity and freshness of stored data. However, hash trees introduce additional compute and I/O costs on the I/O critical path, and prior efforts have not fully characterized these…

密码学与安全 · 计算机科学 2025-01-30 Quinn Burke , Ryan Sheatsley , Rachel King , Owen Hines , Michael Swift , Patrick McDaniel

Containers, enabling lightweight environment and performance isolation, fast and flexible deployment, and fine-grained resource sharing, have gained popularity in better application management and deployment in addition to hardware…

分布式、并行与集群计算 · 计算机科学 2018-11-06 Maria A. Rodriguez , Rajkumar Buyya

Linux container technologies such as Docker and Singularity offer encapsulated environments for easy execution of software. In high performance computing, this is especially important for evolving and complex software stacks with…

操作系统 · 计算机科学 2022-12-15 Vanessa Sochat , Matthieu Muffato , Audrey Stott , Marco De La Pierre , Georgia Stuart
‹ 上一页 1 2 3 10 下一页 ›