Checking Opacity and Durable Opacity with FDR. - Brijesh Dongol; Jay Le-Papin (SEFM, 2021)

Verifying List Swarm Attestation Protocols. - Jay Le-Papin; Brijesh Dongol; Helen Treharne; Stephan Wesemeyer (WISEC, 2023)

On the Design and Security of Collective Remote Attestation Protocols. - Sharar Ahmadi; Jay Le-Papin; Liqun Chen 002; Brijesh Dongol; Sasa Radomirovic; Helen Treharne (CoRR, 2024)