We study the design of CDS auctions, which determine the payments by CDS sellers to CDS buyers following the defaults of bonds. Through a simple model, we find that the current design of CDS auctions leads to biased prices and inefficient allocations. This is because various restrictions imposed...