speck: the small, portable, efficiently-coded kernel