中文
相关论文

相关论文: PS-TRUST: Provably Secure Solution for Truthful Do…

200 篇论文

With the increasing use of auctions in online advertising, there has been a large effort to study seller revenue maximization, following Myerson's seminal work, both theoretically and practically. We take the point of view of the buyer in…

计算机科学与博弈论 · 计算机科学 2019-03-27 Marc Abeille , Clément Calauzènes , Noureddine El Karoui , Thomas Nedelec , Vianney Perchet

Eliciting reliable human feedback is essential for many machine learning tasks, such as learning from noisy labels and aligning AI systems with human preferences. Peer prediction mechanisms incentivize truthful reporting without ground…

计算机科学与博弈论 · 计算机科学 2026-03-24 Yichi Zhang , Shengwei Xu , David Pennock , Grant Schoenebeck

In many settings the power of truthful mechanisms is severely bounded. In this paper we use randomization to overcome this problem. In particular, we construct an FPTAS for multi-unit auctions that is truthful in expectation, whereas there…

计算机科学与博弈论 · 计算机科学 2009-08-24 Shahar Dobzinski , Shaddin Dughmi

With spectrum auctions as our prime motivation, in this paper we analyze combinatorial auctions where agents' valuations exhibit complementarities. Assuming that the agents only value bundles of size at most $k$ and also assuming that we…

计算机科学与博弈论 · 计算机科学 2016-06-07 Dengwang Tang , Vijay Subramanian

Training with differential privacy (DP) provides a guarantee to members in a dataset that they cannot be identified by users of the released model. However, those data providers, and, in general, the public, lack methods to efficiently…

机器学习 · 计算机科学 2025-12-04 Zoë Ruha Bell , Anvith Thudi , Olive Franzese-McLaughlin , Nicolas Papernot , Shafi Goldwasser

We consider the problem of designing truthful auctions, when the bidders' valuations have a public and a private component. In particular, we consider combinatorial auctions where the valuation of an agent $i$ for a set $S$ of items can be…

计算机科学与博弈论 · 计算机科学 2015-05-19 Gagan Goel , Chinmay Karande , Lei Wang

Light clients, also known as Simple Payment Verification (SPV) clients, are nodes which only download a small portion of the data in a blockchain, and use indirect means to verify that a given chain is valid. Typically, instead of…

密码学与安全 · 计算机科学 2019-05-28 Mustafa Al-Bassam , Alberto Sonnino , Vitalik Buterin

Since 2019, most ad exchanges and sell-side platforms (SSPs), in the online advertising industry, shifted from second to first price auctions. Due to the fundamental difference between these auctions, demand-side platforms (DSPs) have had…

Absolute anonymization, conceived as an irreversible transformation that prevents re-identification and sensitive value disclosure, has proven to be a broken promise. Consequently, modern data protection must shift toward a privacy-utility…

统计方法学 · 统计学 2026-03-16 Raphaël de Fondeville

We study truthful auctions for secondary spectrum usage in wireless networks. In this scenario, n communication requests need to be allocated to k available channels that are subject to interference and noise. We present the first truthful…

数据结构与算法 · 计算机科学 2011-10-27 Martin Hoefer , Thomas Kesselheim

In digital advertising, online platforms allocate ad impressions through real-time auctions, where advertisers typically rely on autobidding agents to optimize bids on their behalf. Unlike traditional auctions for physical goods, the value…

计算机科学与博弈论 · 计算机科学 2025-09-03 Zhicheng Du , Wei Tang , Zihe Wang , Shuo Zhang

Some important classical mechanisms considered in Microeconomics and Game Theory require the solution of a difficult optimization problem. This is true of mechanisms for combinatorial auctions, which have in recent years assumed practical…

计算机科学与博弈论 · 计算机科学 2007-05-23 Daniel Lehmann , Liadan Ita O'Callaghan , Yoav Shoham

The blockchain technology empowers secure, trustless, and privacy-preserving trading with cryptocurrencies. However, existing blockchain-based trading platforms only support trading cryptocurrencies with digital assets (e.g., NFTs).…

密码学与安全 · 计算机科学 2022-06-16 Shuhao Zheng , Junliang Luo , Erqun Dong , Can Chen , Xue Liu

Continuous double auctions are commonly used to match orders at currency, stock, and commodities exchanges. A verified implementation of continuous double auctions is a useful tool for market regulators as they give rise to automated…

计算机科学中的逻辑 · 计算机科学 2024-12-12 Mohit Garg , Suneel Sarswat

We study the problem of selling a resource through an auction mechanism. The winning buyer in turn develops this resource to generate profit. Two forms of payment are considered: charging the winning buyer a one-time payment, or an initial…

计算机科学与博弈论 · 计算机科学 2012-07-27 Vineet Abhishek , Bruce Hajek , Steven R. Williams

In recent years, the blockchain-based Internet of Things (IoT) has been researched and applied widely, where each IoT device can act as a node in the blockchain. However, these lightweight nodes usually do not have enough computing power to…

密码学与安全 · 计算机科学 2023-09-20 Jianxiong Guo , Weili Wu

I construct a novel random double auction as a robust bilateral trading mechanism for a profit-maximizing intermediary who facilitates trade between a buyer and a seller. It works as follows. The intermediary publicly commits to charging a…

理论经济学 · 经济学 2022-05-11 Wanchang Zhang

Data privacy is critical in instilling trust and empowering the societal pacts of modern technology-driven democracies. Unfortunately, it is under continuous attack by overreaching or outright oppressive governments, including some of the…

密码学与安全 · 计算机科学 2021-11-29 Chen Chen , Xiao Liang , Bogdan Carbunar , Radu Sion

Blockchain enables novel, trustworthy Process-Aware Information Systems (PAISs) by enforcing the security, robustness, and traceability of operations. In particular, transparency ensures that all information exchanges are openly accessible,…

密码学与安全 · 计算机科学 2025-11-07 Alessandro Marcelletti , Edoardo Marangone , Michele Kryston , Claudio Di Ciccio

Modern mathematics is built on the idea that proofs should be translatable into formal proofs, whose validity is an objective question, decidable by a computer. Yet, in practice, proofs are informal and may omit many details. An agent…

计算机科学与博弈论 · 计算机科学 2021-10-14 Sylvain Carré , Franck Gabriel , Clément Hongler , Gustavo Lacerda , Gloria Capano