A. Washburn and S. Shankar.
" Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM", in <em>Anais do XXVII Simpósio Brasileiro de Métodos Formais</em>, Vitória/ES, 2024, pp. 155-170.