A implementação MLS (org.bouncycastle.mls) manipula incorretamente o `leaf index` (um valor uint32 do RFC 9420) ao armazená-lo como um inteiro assinado. Quando um valor de rede possui o bit mais significativo definido, ele é decodificado como um número negativo. Como as funções `GroupKeySet.SecretTree.hasLeaf()` e `Group.validateRemove()` utilizam comparações assinadas em relação à contagem de folhas da árvore, inteiros negativos são tratados como menores que o limite positivo, permitindo que remetentes fora do intervalo ignorem as verificações de associação. No caso de `hasLeaf()`, o `SenderData` de uma `PrivateMessage` não protegida pode fazer com que o `LeafIndex.directPath` execute a aritmética `NodeIndex.parent()` que nunca atinge a raiz da árvore. Isso faz com que a lista de nós resultante cresça indefinidamente até que a Java Virtual Machine (JVM) esgote sua memória heap, resultando em uma negação de serviço para todos os membros do grupo através de uma única mensagem pequena.