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