English
Related papers

Related papers: Zero knowledge proofs for cloud storage integrity …

200 papers

Streaming interactive proofs (SIPs) enable a space-bounded algorithm with one-pass access to a massive stream of data to verify a computation that requires large space, by communicating with a powerful but untrusted prover. This work…

Computational Complexity · Computer Science 2024-05-28 Graham Cormode , Marcel Dall'Agnol , Tom Gur , Chris Hickey

Users care greatly about preserving the privacy of their personal data gathered during their use of information systems. This extends to both the data they actively provide in exchange for services as well as the metadata passively…

Cryptography and Security · Computer Science 2022-08-12 Christian Badolato

Many companies rely on Cloud infrastructures for their computation, communication and data storage requirements. While Cloud services provide some benefits, e.g., replacing high upfront costs for an IT infrastructure with a pay-as-you-go…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-13 Gabriele D'Angelo , Stefano Ferretti , Moreno Marzolla

A growing framework of legal and ethical requirements limit scientific and commercial evalua-tion of personal data. Typically, pseudonymization, encryption, or methods of distributed com-puting try to protect individual privacy. However,…

Cryptography and Security · Computer Science 2018-11-21 Nikolaus von Bomhard , Bernd Ahlborn , Catherine Mason , Ulrich Mansmann

Inference using deep neural networks is often outsourced to the cloud since it is a computationally demanding task. However, this raises a fundamental issue of trust. How can a client be sure that the cloud has performed inference…

Machine Learning · Computer Science 2021-05-14 Zahra Ghodsi , Tianyu Gu , Siddharth Garg

Millions of users across the world leverages data processing and sharing benefits from cloud environment. Data security and privacy are inevitable requirement of cloud environment. Massive usage and sharing of data among users opens door to…

Cryptography and Security · Computer Science 2021-08-24 Rishabh Gupta , Deepika Saxena , Ashutosh Kumar Singh

Open science has become a synonym for modern, digital and inclusive science. Inclusion does not stop at open access. Inclusion also requires transparency through open datasets and the right and ability to take part in the knowledge creation…

Computers and Society · Computer Science 2019-04-03 Patrick Wortner , Moritz Schubotz , Corinna Breitinger , Stephan Leible , Bela Gipp

Digital repositories, either digital preservation systems or archival systems, periodically check the integrity of stored objects to assure users of their correctness. To do so, prior solutions calculate integrity metadata and require the…

Databases · Computer Science 2014-09-26 Nikos Chondros , Mema Roussopoulos

Research on data confidentiality, integrity and availability is gaining momentum in the ICT community, due to the intrinsically insecure nature of the Internet. While many distributed systems and services are now based on secure…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-17 Antonio Magnani , Gabriele D'Angelo , Stefano Ferretti , Moreno Marzolla

Encrypted cloud storage services are steadily increasing in popularity, with many commercial solutions currently available. In such solutions, the cloud storage is trusted for data availability, but not for confidentiality. Additionally,…

Cryptography and Security · Computer Science 2020-10-28 Anders Dalskov , Daniele Lain , Enis Ulqinaku , Kari Kostiainen , Srdjan Capkun

Recently, the usage of cloud services has been increasing annually, and with remote work becoming one of the new forms of employment within enterprises, the security of cloud-based remote work environments has become important. The existing…

Cryptography and Security · Computer Science 2024-01-09 Haena Kim , Yejun Kim , Seungjoo Kim

In this paper, we introduce a data capsule model, a self-contained and self-enforcing data container based on emerging self-sovereign identity standards, blockchain, and attribute-based encryption. A data capsule allows for a transparent,…

Cryptography and Security · Computer Science 2022-02-17 Reza Soltani , Uyen Trang Nguyen , Aijun An

We live in an era of information and it is very important to handle the exchange of information. While sending data to an authorized source, we need to protect it from unauthorized sources, changes, and authentication. ZKP technique can be…

Cryptography and Security · Computer Science 2019-11-22 Lavish Saluja , Ashutosh Bhatia

This paper explores three approaches for protecting cloud application data planes to prevent unauthorized access to the application and its data and to prevent unwanted data exfiltration. Through an exploration of various concrete security…

Cryptography and Security · Computer Science 2022-02-01 Grant Dasher , Ines Envid , Brad Calder

Federated learning (FL) has been widely adopted in various fields of study and business. Traditional centralized FL systems suffer from serious issues. To address these concerns, decentralized federated learning (DFL) systems have been…

Cryptography and Security · Computer Science 2024-02-13 Mojtaba Ahmadi , Reza Nourmohammadi

This paper presents a framework for securing blockchain-based IoT systems by integrating Physical Unclonable Functions (PUFs) and Zero-Knowledge Proofs (ZKPs) within a Hyperledger Fabric environment. The proposed framework leverages PUFs…

Cryptography and Security · Computer Science 2024-05-22 Daniel Commey , Sena Hounsinou , Garth V. Crosby

The problem we address is the following: how can a user employ a predictive model that is held by a third party, without compromising private information. For example, a hospital may wish to use a cloud service to predict the readmission…

Machine Learning · Computer Science 2014-12-25 Pengtao Xie , Misha Bilenko , Tom Finley , Ran Gilad-Bachrach , Kristin Lauter , Michael Naehrig

Traditional centralized scholarship evaluation processes typically require students to submit detailed academic records and qualification information, which exposes them to risks of data leakage and misuse, making it difficult to…

Cryptography and Security · Computer Science 2025-10-30 Yi Chen , Bin Chen , Peichang Zhang , Da Che

We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the basis of a number of non-trivial examples. The design…

We present the SecureCloud EU Horizon 2020 project, whose goal is to enable new big data applications that use sensitive data in the cloud without compromising data security and privacy. For this, SecureCloud designs and develops a layered…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-07 Florian Kelbert , Franz Gregor , Rafael Pires , Stefan Köpsell , Marcelo Pasin , Aurélien Havet , Valerio Schiavoni , Pascal Felber , Christof Fetzer , Peter Pietzuch