A principal distributes an indivisible good to budget‐constrained agents when both valuation and budget are agents' private information. The principal can verify an agent's budget at a cost. The welfare‐maximizing mechanism can be implemented via a two‐stage scheme. First, agents report...

A principal wishes to distribute an indivisible good to a population of budget-constrained agents. Both valuation and budget are an agent's private information. The principal can inspect an agent's budget through a costly verification process and punish an agent who makes a false statement. I...

We study security-bid auctions in which bidders compete for an asset by bidding with securities whose payments are contingent on the asset's realized value and can covertly acquire information at some cost before participating in an auction. We first consider auctions with ordered securities in...