Washburn, Alex, E 		Shankar, Subash.
" Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)