Searching in crypto/hpke