“…While planetary radar echoes are commonly used like seismograms to visually recover structural features, we propose to work with signal phases and amplitudes using equations derived from boundary integral expressions of the planetary surface scattered electromagnetic fields. Similar works have been carried out previously using Huygens's principle, in the acoustic approximation [e.g., Kobayashi et al , ], for specific setups [e.g., Fa et al , ], using numerical integration [e.g., Plettemeier et al , ], coupling numerical surface integrations and ray tracing [e.g., Jin , ; Zhang et al , ], or with approximate geometries [e.g., Nouvel et al , ]. The latter is currently implemented as a routine to quantitatively assess Mars's ionosphere and Mars's surface permittivity [e.g., Mouginot et al , ] from the increasing amount of data acquired with MARSIS.…”