Jay Le-Papin

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Remote Attestation

Top Venues

Publications

Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne
On the Design and Security of Collective Remote Attestation Protocols. CoRR (2024)
Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer
Verifying List Swarm Attestation Protocols. WISEC (2023)
Brijesh Dongol, Jay Le-Papin
Checking Opacity and Durable Opacity with FDR. SEFM (2021)