Login / Signup
Vini Kanvar
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 6
Top Topics
Information Exchange
Symbolic Execution
Static Analysis
Communication Protocols
Top Venues
CoRR
ISEC
ICSE (NIER)
ACM Comput. Surv.
</>
Publications
</>