中文
相关论文

相关论文: A Formally Verified Configuration for Hardware Sec…

200 篇论文

Although Secure Multiparty Computation (SMC) has seen considerable development in recent years, its use is challenging, resulting in complex code which obscures whether the security properties or correctness guarantees hold in practice. For…

编程语言 · 计算机科学 2023-06-02 Amy Rathore , Marina Blanton , Marco Gaboardi , Lukasz Ziarek

In today's age of digital technology, ethical concerns regarding computing systems are increasing. While the focus of such concerns currently is on requirements for software, this article spotlights the hardware domain, specifically…

计算机与社会 · 计算机科学 2024-04-26 Timo Speith , Julian Speith , Steffen Becker , Yixin Zou , Asia Biega , Christof Paar

Embedded applications often use a Hardware Abstraction Layer (HAL) to access hardware. Improper use of the HAL can lead to incorrect hardware operations, resulting in system failure and potentially serious damage to the hardware. The…

计算机科学中的逻辑 · 计算机科学 2025-12-17 Manuel Bentele , Andreas Podelski , Axel Sikora , Bernd Westphal

Confidential computing is a security paradigm that enables the protection of confidential code and data in a co-tenanted cloud deployment using specialized hardware isolation units called Trusted Execution Environments (TEEs). By…

密码学与安全 · 计算机科学 2024-01-18 Abhiroop Sarkar , Alejandro Russo

High-Performance Computing (HPC) in the public cloud democratizes the supercomputing power that most users cannot afford to purchase and maintain. Researchers have studied its viability, performance, and usability. However, HPC in the cloud…

分布式、并行与集群计算 · 计算机科学 2022-12-06 Keke Chen

We design and develop a secret-sharing-scheme-based cyberattack detection model(S3CDM)that can detect unauthorized or illegal activities (especially insider attacks) and protect sensitive information within complex network infrastructures…

密码学与安全 · 计算机科学 2026-04-14 Chi Sing Chum , Jia Lu , Claire Tang , Xiaowen Zhang

The widespread adoption of cloud computing has resulted in the proliferation of open source cloud computing frameworks that give more control to enterprises over their data and networks. Though the benefits of open source software are…

软件工程 · 计算机科学 2018-05-16 Irum Rauf , Elena Troubitsyna

Protected-module architectures (PMAs) have been proposed to provide strong isolation guarantees, even on top of a compromised system. Unfortunately, Intel SGX -- the only publicly available high-end PMA -- has been shown to only provide…

密码学与安全 · 计算机科学 2017-12-25 Raoul Strackx , Frank Piessens

Cloud business intelligence is an increasingly popular choice to deliver decision support capabilities via elastic, pay-per-use resources. However, data security issues are one of the top concerns when dealing with sensitive data. In this…

数据库 · 计算机科学 2014-12-12 Varunya Attasena , Nouria Harbi , Jérôme Darmont

In cloud data center, shared storage with good management is a main structure used for the storage of virtual machines (VM). In this paper, we proposed Hybrid VM storage (HVSTO), a privacy preserving shared storage system designed for the…

分布式、并行与集群计算 · 计算机科学 2014-05-27 Mianxiong Dong , He Li , Kaoru Ota , Haojin Zhu

The emergence of mobile applications to execute sensitive operations has brought a myriad of security threats to both enterprises and users. In order to benefit from the large potential in smartphones there is a need to manage the risks…

密码学与安全 · 计算机科学 2016-06-10 Ahmad-Atamli Reineh , Giuseppe Petracca , Janne Uusilehto , Andrew Martin

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

The cloud infrastructure must provide security for High-Performance Computing (HPC) applications of sensitive data to execute in such an environment. However, supporting security in the communication infrastructure of today's public cloud…

分布式、并行与集群计算 · 计算机科学 2020-11-04 Abu Naser , Cong Wu , Mehran Sadeghi Lahijani , Mohsen Gavahi , Viet Tung Hoang , Zhi Wang , Xin Yuan

Confidentiality, Integrity, and Availability are basic goals of security architecture. To ensure CIA, many authentication scheme has been introduced in several years. Currently deployment of Public Key Infrastructure (PKI) is a most…

密码学与安全 · 计算机科学 2015-12-08 Marmik Pandya

Modern machine learning (ML) models are expensive IP and business competitiveness often depends on keeping this IP confidential. This in turn restricts how these models are deployed; for example, it is unclear how to deploy a model…

密码学与安全 · 计算机科学 2025-03-11 Eleanor Clifford , Adhithya Saravanan , Harry Langford , Cheng Zhang , Yiren Zhao , Robert Mullins , Ilia Shumailov , Jamie Hayes

Secure communication is a critical requirement for Internet of Things (IoT) devices, which are often based on Microcontroller Units (MCUs). Current cryptographic solutions, which rely on software libraries or dedicated hardware…

密码学与安全 · 计算机科学 2025-09-30 Jingyao Zhang , Elaheh Sadredini

The availability of powerful computing hardware in IaaS clouds makes cloud computing attractive also for computational workloads that were up to now almost exclusively run on HPC clusters. In this paper we present the VM-MAD Orchestrator…

分布式、并行与集群计算 · 计算机科学 2016-08-25 Tyanko Aleksiev , Simon Barkow , Peter Kunszt , Sergio Maffioletti , Riccardo Murri , Christian Panse

High-performance computing (HPC) storage systems become increasingly critical to scientific applications given the data-driven discovery paradigm shift. As a storage solution for large-scale HPC systems, dozens of applications share the…

分布式、并行与集群计算 · 计算机科学 2018-05-17 Neda Tavakoli , Dong Dai , John Jenkins , Philip Carns , Robert Ross , Yong Chen

Securing cloud configurations is an elusive task, which is left up to system administrators who have to base their decisions on ``trial and error'' experimentations or by observing good practices (e.g., CIS Benchmarks). We propose a…

密码学与安全 · 计算机科学 2022-06-08 Francesco Minna , Fabio Massacci , Katja Tuma

Distributed Cyber Physical Systems designed for different scenario must be capable enough to perform in an efficient manner in every situation. Earlier approaches, such as CORBA, has performed but with different time constraints. Therefore,…

分布式、并行与集群计算 · 计算机科学 2013-04-12 Ankit Mundra , Bhagvan K. Gupta , Geetanjali Rathee , Meenu Chawla , Nitin Rakesh , Vipin Tyagi