  Source independent quantum random number generators (SI-QRNG) are
cryptographic protocols which attempt to extract random strings from quantum
sources where the source is under the control of an adversary while the
measurement devices are fully characterized. This represents a middle-ground
between fully-trusted and full-device independence, allowing for fast
bit-generation rates with current-day technology, while also providing a strong
security guarantee. In this paper we analyze an SI-QRNG protocol based on
quantum walks and develop a new proof technique to show security.
