English
Related papers

Related papers: Proof of Sampling: A Nash Equilibrium-Based Verifi…

200 papers

Recent works have proposed new Byzantine consensus algorithms for blockchains based on epidemics, a design which enables highly scalable performance at a low cost. These methods however critically depend on a secure random peer sampling…

Cryptography and Security · Computer Science 2021-02-09 Alex Auvolat , Yérom-David Bromberg , Davide Frey , François Taïani

Online reviews provide product evaluations for customers to make decisions. Unfortunately, the evaluations can be manipulated using fake reviews ("spams") by professional spammers, who have learned increasingly insidious and powerful…

Social and Information Networks · Computer Science 2020-06-24 Yingtong Dou , Guixiang Ma , Philip S. Yu , Sihong Xie

The security of many Proof-of-Stake (PoS) payment systems relies on quorum-based State Machine Replication (SMR) protocols. While classical analyses assume purely Byzantine faults, real-world systems must tolerate both arbitrary failures…

Cryptography and Security · Computer Science 2026-05-19 Zeta Avarikioti , Eleftherios Kokoris Kogias , Ray Neiheiser , Christos Stefo

This paper presents a comprehensive comparative analysis of two dominant blockchain consensus mechanisms, Proof of Work (PoW) and Proof of Stake (PoS), evaluated across seven critical metrics: energy use, security, transaction speed,…

Cryptography and Security · Computer Science 2025-11-24 Kaeli Andrews , Linh B. Ngo , Md Amiruzzaman

We study Nash equilibria learning of a general-sum stochastic game with an unknown transition probability density function. Agents take actions at the current environment state and their joint action influences the transition of the…

Systems and Control · Electrical Eng. & Systems 2022-10-19 Yan Chen , Tao Li

Semi-supervised learning (SSL) has been widely explored in recent years, and it is an effective way of leveraging unlabeled data to reduce the reliance on labeled data. In this work, we adjust neural processes (NPs) to the semi-supervised…

Computer Vision and Pattern Recognition · Computer Science 2023-06-27 Jianfeng Wang , Xiaolin Hu , Thomas Lukasiewicz

This paper proposes a novel approach for locally stable convergence to Nash equilibrium in duopoly noncooperative games based on a distributed event-triggered control scheme. The proposed approach employs extremum seeking, with sinusoidal…

Optimization and Control · Mathematics 2024-04-12 Victor Hugo Pereira Rodrigues , Tiago Roux Oliveira , Miroslav Krstić , Tamer Başar

System modeling is a classical approach to ensure their reliability since it is suitable both for a formal verification and for software testing techniques. In the context of model-based testing an approach combining random testing and…

Software Engineering · Computer Science 2018-06-14 Julien Bernard , Pierre-Cyrille Héam , Olga Kouchnarenko

Much progress has been made in semi-supervised learning (SSL) by combining methods that exploit different aspects of the data distribution, e.g. consistency regularisation relies on properties of $p(x)$, whereas entropy minimisation…

Machine Learning · Computer Science 2021-06-01 Carl Allen , Ivana Balažević , Timothy Hospedales

As cryptographic tokens and altcoins are increasingly being built to serve as utility tokens, the notion of useful work consensus protocols, as opposed to number-crunching PoW consensus, is becoming ever more important. In such contexts,…

Cryptography and Security · Computer Science 2019-05-13 Michał Król , Alberto Sonnino , Mustafa Al-Bassam , Argyrios Tasiopoulos , Ioannis Psaras

We study sampling problems associated with non-convex potentials that meanwhile lack smoothness. In particular, we consider target distributions that satisfy either logarithmic-Sobolev inequality or Poincar\'e inequality. Rather than…

Machine Learning · Computer Science 2023-02-21 Jiaming Liang , Yongxin Chen

We consider a problem where mutually untrusting curators possess portions of a vertically partitioned database containing information about a set of individuals. The goal is to enable an authorized party to obtain aggregate (statistical)…

Cryptography and Security · Computer Science 2013-04-18 Bing-Rong Lin , Ye Wang , Shantanu Rane

We consider the signal-anticipating behavior in local Volt/Var control for distribution systems. Such a behavior makes interaction among the nodes a game. We characterize Nash equilibrium of the game as the optimum of a global optimization…

Optimization and Control · Mathematics 2019-07-19 Zhiyuan Liu , Seungil You , Xinyang Zhou , Guohui Ding , Lijun Chen

This paper addresses the distributed Nash Equilibrium seeking problem for aggregative games, where legitimate players' decisions are affected by potential malicious players. To describe players' behavior, we introduce a novel heterogeneous…

Systems and Control · Electrical Eng. & Systems 2025-12-01 Kai-Yuan Guo , Yan-Wu Wang , Xiao-Kang Liu , Zhi-Wei Liu

Proof-of-Work (PoW) systems face critical challenges, including excessive energy consumption and the centralization of mining power among entities with expensive hardware. Static mining pools exacerbate these issues by reducing competition…

Cryptography and Security · Computer Science 2025-04-25 Rizwanul Haque , SM Tareq Aziz , Tahrim Hossain , Faisal Haque Bappy , Muhammad Nur Yanhaona , Tariqul Islam

Data synchronization in decentralized storage systems is essential to guarantee sufficient redundancy to prevent data loss. We present SNIPS, the first succinct proof of storage algorithm for synchronizing storage peers. A peer constructs a…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-12 Racin Nygaard , Hein Meling

Decentralized sparsity learning has attracted a significant amount of attention recently due to its rapidly growing applications. To obtain the robust and sparse estimators, a natural idea is to adopt the non-smooth median loss combined…

Machine Learning · Statistics 2022-03-02 Weidong Liu , Xiaojun Mao , Xin Zhang

Recent state-of-the-art methods in imbalanced semi-supervised learning (SSL) rely on confidence-based pseudo-labeling with consistency regularization. To obtain high-quality pseudo-labels, a high confidence threshold is typically adopted.…

Computer Vision and Pattern Recognition · Computer Science 2023-03-20 Zhuoran Yu , Yin Li , Yong Jae Lee

Compressive sampling offers a new paradigm for acquiring signals that are compressible with respect to an orthonormal basis. The major algorithmic challenge in compressive sampling is to approximate a compressible signal from noisy samples.…

Numerical Analysis · Mathematics 2014-04-29 D. Needell , J. A. Tropp

The stochastic subgradient method is a widely-used algorithm for solving large-scale optimization problems arising in machine learning. Often these problems are neither smooth nor convex. Recently, Davis et al. [1-2] characterized the…

Optimization and Control · Mathematics 2021-02-25 Shixiang Chen , Alfredo Garcia , Shahin Shahrampour