Ironclad Security for Lost Devices