Washburn, A., & 		Shankar, S.
2024 dez  4.  Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :