Add a rotateSessionKey() method to the protocol that generates a new shared secret via KEM inside the session.
Add a rotateSessionKey() method to the protocol that generates a new shared secret via KEM inside the session.