Secure session IDs encrypted by lemma - View it on GitHub