English
Related papers

Related papers: Publicly Auditable MPC-as-a-Service with succinct …

200 papers

Preservation of privacy has been a serious concern with the increasing use of IoT-assisted smart systems and their ubiquitous smart sensors. To solve the issue, the smart systems are being trained to depend more on aggregated data instead…

Cryptography and Security · Computer Science 2022-06-07 Himanshu Goyal , Sudipta Saha

Analytics on personal data, such as individuals' mobility, financial, and health data can be of significant benefit to society. Such data is already collected by smartphones, apps and services today, but liberal societies have so far…

The recent proliferation of smart devices has given rise to ubiquitous computing, an emerging computing paradigm which allows anytime & anywhere computing possible. In such a ubiquitous computing environment, customers release different…

Cryptography and Security · Computer Science 2019-02-13 Chuan Zhang , Liehuang Zhu , Chang Xu , Kashif Sharif , Ximeng Liu , Xiaojiang Du , Mohsen Guizani

[Context] Coupling is a widely discussed metric by software engineers while developing complex software systems, often referred to as a crucial factor and symptom of a poor or good design. Nevertheless, measuring the logical coupling among…

Software Engineering · Computer Science 2023-06-06 Dario Amoroso d Aragona , Luca Pascarella , Andrea Janes , Valentina Lenarduzzi , Rafael Penaloza , Davide Taibi

The state-of-the-art approach to manage blockchains is to process blocks of transactions in a shared-nothing environment. Although blockchains have the potential to provide various services for high-performance computing (HPC) systems, HPC…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-01-22 Abdullah Al-Mamun , Dongfang Zhao

Recent advances in the cryptographic field of "Zero-Knowledge Proofs" have sparked a new wave of research, giving birth to many exciting theoretical approaches in the last few years. Such research has often overlapped with the need for…

Cryptography and Security · Computer Science 2019-09-04 Mario Alessandro Barbara

We propose an Adaptive MPC framework for uncertain linear systems to achieve robust satisfaction of state and input constraints. The uncertainty in the system is assumed additive, state dependent, and globally Lipschitz with a known…

Systems and Control · Electrical Eng. & Systems 2020-02-18 Monimoy Bujarbaruah , Siddharth H. Nair , Francesco Borrelli

Data and data processing have become an indispensable aspect for our society. Insights drawn from collective data make invaluable contribution to scientific and societal research and business. But there are increasing worries about privacy…

Networking and Internet Architecture · Computer Science 2025-04-01 Rui Zhao , Naman Goel , Nitin Agrawal , Jun Zhao , Jake Stein , Wael Albayaydh , Ruben Verborgh , Reuben Binns , Tim Berners-Lee , Nigel Shadbolt

Centralized systems in the Internet of Things---be it local middleware or cloud-based services---fail to fundamentally address privacy of the collected data. We propose an architecture featuring secure multiparty computation at its core in…

Cryptography and Security · Computer Science 2018-06-07 Marcel von Maltitz , Georg Carle

Confidential Computing enhances privacy of data in-use through hardware-based Trusted Execution Environments (TEEs) that use attestation to verify their integrity, authenticity, and certain runtime properties, along with those of the…

Cryptography and Security · Computer Science 2024-12-09 Ceren Kocaoğullar , Tina Marjanov , Ivan Petrov , Ben Laurie , Al Cutter , Christoph Kern , Alice Hutchings , Alastair R. Beresford

Classical computability theory tells us that self-modifying code (SMC) on a deterministic universal Turing machine can be simulated by non-SMC code on the same model. That abstraction, however, omits the external timing inputs, concurrency,…

Cryptography and Security · Computer Science 2026-04-15 Gregory Morse , Tamás Kozsik

Business collaboration networks provide collaborative organizations a favorable context for automated business process interoperability. This paper aims to present a novel approach for assessing interoperability of process driven services…

Other Computer Science · Computer Science 2011-11-23 Elmir Badr , Bounabat Bouchaib

Cloud computing provides ubiquitous and on-demand access to vast reconfigurable resources that can meet any computational need. Many service models are available, but the Infrastructure as a Service (IaaS) model is particularly suited to…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-29 Gianluca Longoni , Ryan LaMothe , Jeremy Teuton , Mark Greaves , Nicole Nichols , William Smith

Machine Learning as a Service (MLaaS) is an increasingly popular design where a company with abundant computing resources trains a deep neural network and offers query access for tasks like image classification. The challenge with this…

In this work we compare two recent multiparty computation (MPC) protocols for private summation in terms of performance. Both protocols allow multiple rounds of aggregation from the same set of public keys generated by parties in an initial…

Cryptography and Security · Computer Science 2014-03-03 Michael Clear , Constantinos Patsakis , Paul Laird

As the cloud computing paradigm has gained prominence, the need for verifiable computation has grown increasingly urgent. The concept of verifiable computation enables a weak client to outsource difficult computations to a powerful, but…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-02-23 Justin Thaler , Mike Roberts , Michael Mitzenmacher , Hanspeter Pfister

Auditing algorithms' privacy typically involves simulating a game-based protocol that guesses which of two adjacent datasets was the original input. Traditional approaches require thousands of such simulations, leading to significant…

Cryptography and Security · Computer Science 2025-01-30 Zihang Xiang , Tianhao Wang , Di Wang

When we rely on deep-learned models for robotic perception, we must recognize that these models may behave unreliably on inputs dissimilar from the training data, compromising the closed-loop system's safety. This raises fundamental…

Systems and Control · Electrical Eng. & Systems 2023-09-19 Rohan Sinha , Edward Schmerling , Marco Pavone

Configuration management in networks with highest security demands must not depend on just one administrator and her device. Otherwise, problems can be caused by mistakes or malicious behavior of this admin, or when her computer got…

Cryptography and Security · Computer Science 2019-03-20 Holger Kinkelin , Heiko Niedermayer , Marc Müller , Georg Carle

Cloud computing has been envisioned as the next generation architecture of IT Enterprise. Using Cloud Storage,users can remotely store their data and enjoy the on demand high quality applications and services from a shared pool of…

Cryptography and Security · Computer Science 2014-05-27 Hemalata A. Gosavi , Manish R. Umale