From Trash to Treasure: Timing-Sensitive Garbage Collection
Security Policies and Security Models