English
Related papers

Related papers: A Formally Verified Configuration for Hardware Sec…

200 papers

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…

Programming Languages · Computer Science 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…

Computers and Society · Computer Science 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…

Logic in Computer Science · Computer Science 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…

Cryptography and Security · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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…

Databases · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Cryptography and Security · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Cryptography and Security · Computer Science 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,…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-04-12 Ankit Mundra , Bhagvan K. Gupta , Geetanjali Rathee , Meenu Chawla , Nitin Rakesh , Vipin Tyagi