Shorter device identifiers