This project develops a method, based on cryptographic protocols, that can be used in emerging radio spectrum markets so Federal agencies can acquire spectrum quickly when needed without disclosing information that may compromise their missions. Radio spectrum is a vital resource for wireless communication and sensing. Market approaches such as the Pay-As-You-Go (PAYG) model and the Spectrum Bux currency have been proposed to more efficiently use the congested radio spectrum. Since Federal agencies are a significant fraction of the spectrum ecosystem, Federal agency use of these emerging market mechanisms is necessary for the market mechanisms to provide the desired overall benefits for the nation. However, Federal agency missions sometimes require accessing spectrum without delay; most market designs require pre-registration and other slow steps. Agency missions sometimes require protecting information about sensitive operations; most market designs disclose the identity of the buyer to the seller so the seller can enforce payment terms. The cryptographic methods developed in this project overcome these constraints and thereby help emerging radio spectrum markets succeed. The architecture supports policy adaptation and microeconomic experiments to inform future spectrum policy and market design decisions. The project also helps educate the next-generation spectrum workforce. The core of the project is development of novel protocols based on cryptographic credentials and