Sign in
Singam Bhargav Ram
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Software Systems
Security Analysis
Top Venues
CCWC
</>
Publications
</>
Singam Bhargav Ram
,
Vanga Odelu
Security Analysis of a Key Exchange Protocol under Dolev-Yao Threat Model Using Tamarin Prover.
CCWC
(2022)