Intrusion-Resilient Key Exchange in the Bounded Retrieval Model