Jay Le-Papin

According to our database, Jay Le-Papin authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Design and Security of Collective Remote Attestation Protocols.

Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne

CoRR, 2024

2023

Verifying List Swarm Attestation Protocols.

Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer

Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2023

2021

Checking Opacity and Durable Opacity with FDR.

Brijesh Dongol, Jay Le-Papin

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021