software-defined radio developers

Abstract: Pulsar provides the world's most secure PNT service by incorporating a Combinatorial Watermark into its ranging service. Under conservative signal conditions, Pulsar's Combinatorial Watermark, where 21 ranging code chips are inverted among the 1023, provides 32-bit authentication security each second. In this work, we present our software-defined radio (SDR) implementation of the Pulsar watermark processor. We discuss various threat models, multiple receiver architectures, implications to the receiver, and results from using Pulsar's SDR processing watermarked signals daily from the Pulsar-0 mission. Our results demonstrate the feasible implementation of Pulsar's watermark verification process in commercial GNSS receivers. This is an important milestone in making Xona's Pulsar service available to customers later this year after deployment of our first four production satellites.

Abstract: Deep joint source-channel coding (DeepJSCC) transmits data end-to-end over wireless channels using a neural encoder-decoder, but reconstruction quality can degrade sharply under adversarial perturbations and channel disturbances; no method formally bounds this degradation for DeepJSCC. We present the first bound-propagation framework for verifying DeepJSCC's decoder, bounding worst-case reconstruction error over a given wireless channel's noise region. Current deep neural network (DNN) verifiers do not support three DeepJSCC decoder components: parametric rectified linear activations (PReLU), transposed convolutions, and Rayleigh fading. We extend state-of-the-art techniques for optimization of linear relaxation in DNN verification for PReLU, replace the transposed convolution with its restricted upsample-then-convolution form, and formulate Rayleigh fading as a structural perturbation prepended directly into the decoder, thereby reducing the dimensionality of the verification problem. We also instantiate Lipschitz-regularized global robustness training, denoted GloRo, improving global robustness and enabling tight certification of DeepJSCC models for the first time. On DeepJSCC model for image transmission, this global robustness training procedure combined with structural encoding lowers the median certified bound by up to 41% and certifies about ten times more safe cases (192 against 19) than GloRo with interval encoding at a 10-degree error in channel estimation. Over-the-air validation with an orthogonal frequency-division multiplexing (OFDM) implementation on software-defined radio devices confirm the certificate holds on real hardware, with a worst observed error on radio link at 0.082 against a certified bound of 0.128.

Abstract: In this paper, we propose a novel channel estimation (CE) algorithm for orthogonal frequency division multiplexing (OFDM) systems that exploits the unique characteristics of the delay-Doppler (DD) domain channel. Specifically, the time-frequency (TF) domain input-output relationship (IOR) is derived in a compact form by focusing solely on the non-zero elements of the TF domain channel matrix. Based on this compact IOR, a coarse TF domain CE is first performed using a linear minimum mean square error estimator. Then, the resultant TF domain estimates are transformed to the DD domain through a unitary transformation for further refinement. We reveal that the effective DD domain channel matrix can be viewed as an aggregation of multiple DD domain channel responses with different phase shifts. This allows us to devise a threshold-based estimation for DD domain channel parameters with high accuracy. The estimated DD domain channel parameters are then applied to form a refined estimate of TF domain channel. Our numerical results demonstrate that the proposed method can achieve substantial performance gains over conventional OFDM channel estimation techniques under the same pilot deployment.