TreeKEM: A Modular Machine-Checked Symbolic Security Analysis of Group Key Agreement in Messaging Layer Security.

Thophile Wallez, Jonathan Protzenko, Karthikeyan Bhargavan

Browse the full SP paper archive.