Vantage: deciding leakage contracts under an explicit keying of extra-architectural state (landing page)
