Efficient implied alignment. - Alex J. Washburn; Ward C. Wheeler (BMC Bioinform., 2020)

Simulating Sars-CoV-2 Transmission in the New York Subway. - Alex J. Washburn; Ye Paing; Pauline Lin; Felisa J. Vázquez-Abad (WSC, 2021)

Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM. - Alex J. Washburn; Subash Shankar (SBMF, 2024)