Jay Le-Papin

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

Collaborative distances:

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

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