English
Related papers

Related papers: PROOF as a Service on the Cloud: a Virtual Analysi…

200 papers

The core of the computer business now offers subscription-based on-demand services with the help of cloud computing. We may now share resources among multiple users by using virtualization, which creates a virtual instance of a computer…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-12-13 Sakshi Chhabra , Ashutosh Kumar Singh

Most cloud platforms have a Function-as-a-Service (FaaS) offering that enables users to easily write highly scalable applications. To better understand how the platform's architecture impacts its performance, we present a research-focused…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-01 Trever Schirmer , David Bermbach

In Covid-19 pandemic, the number of users connecting to the Internet using mobile devices increased. People are doing there every task using mobile phones [16]. These devices are battery-powered and have limited computation capabilities.…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-07 Arsalan Liaqat , Saqib Ilyas , Ghazala Mushtaq

Serverless computing with cloud functions is quickly gaining adoption, but constrains programmers with its limited support for state management. We introduce a shared file system for cloud functions. It offers familiar POSIX semantics while…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-22 Johann Schleier-Smith , Leonhard Holz , Nathan Pemberton , Joseph M. Hellerstein

Centralized trust is ubiquitous in today's interconnected world, from computational resources to data storage and its underlying infrastructure. The monopolization of cloud computing resembles a feudalistic system, causing a loss of privacy…

Cryptography and Security · Computer Science 2026-01-09 Christian Killer , Alessandro De Carli , Pascal Brun , Amadeo Victor Charlé , Mike Godenzi , Simon Wehrli

The Proof of Efficient Liquidity (PoEL) protocol, designed for specialised Proof of Stake (PoS) consensus-based blockchains that incorporate intrinsic DeFi applications, aims to support sustainable liquidity bootstrapping and network…

General Finance · Quantitative Finance 2024-02-19 Arman Abgaryan , Utkarsh Sharma , Joshua Tobkin

The ATLAS experiment at CERN relies on a worldwide distributed computing Grid infrastructure to support its physics program at the Large Hadron Collider. ATLAS has integrated cloud computing resources to complement its Grid infrastructure…

In cloud-based endpoint auditing, security administrators often rely on the cloud to perform causality analysis over log-derived versioned provenance graphs to investigate suspicious attack behaviors. However, the cloud may be distrusted or…

Cryptography and Security · Computer Science 2026-03-17 Qiyang Song , Qihang Zhou , Xiaoqi Jia , Zhenyu Song , Wenbo Jiang , Heqing Huang , Yong Liu , Dan Meng

Large-scale quantum computers are expected to benefit from modular architectures. Validating the capabilities of modular devices requires benchmarking strategies that assess performance within and between modules. In this work, we evaluate…

Cloud Computing has emerged as a successful computing paradigm for efficiently utilizing managed compute infrastructure such as high speed rack-mounted servers, connected with high speed networking, and reliable storage. Usually such…

Operating Systems · Computer Science 2016-11-17 Piyus Kedia , Sorav Bansal , Deepak Deshpande , Sreekanth Iyer

Serverless computing has become a major trend among cloud providers. With serverless computing, developers fully delegate the task of managing the servers, dynamically allocating the required resources, as well as handling availability and…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-08 Pascal Maissen , Pascal Felber , Peter Kropf , Valerio Schiavoni

We address the relative paucity of empirical testing of learning algorithms (of any type) by introducing a new public-domain, Modular, Optimal Learning Testing Environment (MOLTE) for Bayesian ranking and selection problem, stochastic…

Machine Learning · Computer Science 2017-09-15 Yingfei Wang , Warren Powell

Cloud Data centers aim to provide reliable, sustainable and scalable services for all kinds of applications. Resource scheduling is one of keys to cloud services. To model and evaluate different scheduling policies and algorithms, we…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-01-26 Minxian Xu , Wenhong Tian , Xinyang Wang , Qin Xiong

Modern cloud and enterprise systems rely on identity-centric authorization, assuming that callers possessing valid credentials are safe to execute commands. The emergence of autonomous AI agents invalidates this assumption: agents can…

Artificial Intelligence · Computer Science 2026-05-18 Jun He , Deying Yu

We propose a proof-of-sequential-work (PoSW) that can be verified with only a single query to the random oracle for each random challenge. Proofs-of-sequential-work are protocols that facilitate a verifier to efficiently verify if a prover…

Cryptography and Security · Computer Science 2022-05-27 Souvik Sur

'How can GPU acceleration be obtained as a service in a cluster?' This question has become increasingly significant due to the inefficiency of installing GPUs on all nodes of a cluster. The research reported in this paper is motivated to…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-08-12 Blesson Varghese , Javier Prades , Carlos Reano , Federico Silla

Serverless computing is an emerging cloud paradigm with serverless functions at its core. While serverless environments enable software developers to focus on developing applications without the need to actively manage the underlying…

Cryptography and Security · Computer Science 2024-08-06 Danielle Lavi , Oleg Brodt , Dudu Mimran , Yuval Elovici , Asaf Shabtai

Function-as-a-Service (FaaS) platforms and "serverless" cloud computing are becoming increasingly popular. Current FaaS offerings are targeted at stateless functions that do minimal I/O and communication. We argue that the benefits of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-07-28 Vikram Sreekanti , Chenggang Wu , Xiayue Charles Lin , Johann Schleier-Smith , Jose M. Faleiro , Joseph E. Gonzalez , Joseph M. Hellerstein , Alexey Tumanov

Deep-learning-as-a-service is a novel and promising computing paradigm aiming at providing machine/deep learning solutions and mechanisms through Cloud-based computing infrastructures. Thanks to its ability to remotely execute and train…

Machine Learning · Computer Science 2020-03-31 Simone Disabato , Alessandro Falcetta , Alessio Mongelluzzo , Manuel Roveri

Remote attestation is a crucial security service particularly relevant to increasingly popular IoT (and other embedded) devices. It allows a trusted party (verifier) to learn the state of a remote, and potentially malware-infected, device…

Cryptography and Security · Computer Science 2016-08-18 Tigist Abera , N. Asokan , Lucas Davi , Jan-Erik Ekberg , Thomas Nyman , Andrew Paverd , Ahmad-Reza Sadeghi , Gene Tsudik