[Cryptography-wg] Meeting 11-13-25