  This document contains the appendices for our paper titled ``Performance
Bounds for Passive Sensing in Asynchronous ISAC Systems." The appendices
include rigorous derivations of key formulas, detailed proofs of the theorems
and propositions introduced in the paper, and details of the algorithm tested
in the numerical simulation for validation. These appendices aim to support and
elaborate on the findings and methodologies presented in the main text. All
external references to equations, theorems, and so forth, are directed towards
the corresponding elements within the main paper.
