Login / Signup
Nisansala P. Yatapanage
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Security Protocols
Automated Design
Cryptographic Algorithms
Top Venues
CoRR
</>
Publications
</>
Nisansala P. Yatapanage
,
Cliff B. Jones
Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols.
CoRR
(2023)
Nisansala P. Yatapanage
Rely/Guarantee, Refinement and the ABA Problem: Part 1.
CoRR
(2023)