SEkey: a distributed hardware-based key management system