If it was his discovery, would be nice if they'd give him first author on the paper's author list (Farach-Colton, Krapivin, Kuszmaul). Though I understand if the proofs were not done by him.
Theoretical computer science and cryptography both typically do alphabetical. Maybe because of their adjacency to pure math?
[1] https://arxiv.org/search/cs?searchtype=author&query=Kuszmaul...