Washburn, A., & 		Shankar, S.
(2024).
 Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM.
In <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, (pp. 155-170). Porto Alegre: SBC.