"SPECK"@cs .