Vaishnavi Sundararajan

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 13

Top Topics

Key Establishment

Formal Analysis

Coloured Petri Nets

Intuitionistic Logic

Top Venues

ICETE (Selected Papers)

J. Log. Comput.

Publications