Sign in
Jay Le-Papin
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Foreground And Background
Top Venues
WISEC
SEFM
</>
Publications
</>
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)