The paper "Tighter provable security for TreeKEM" by Karen Azari and Andreas Ellison will appear at ACNS 2025.
