Trevisan's Extractor in the Presence of Quantum Side Information | Synapse