Vaishnavi Sundararajan

Employment

• Indian Institute of Technology Delhi

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (18)

• Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+
  2026 DOI: 10.1145/3779208.3805979
  +Save
• E-Business and Telecommunications
  Springer Nature Switzerland 2023 DOI: 10.1007/978-3-031-36840-0
  +Save
• Extended Formal Analysis of the EDHOC Protocol in Tamarin
  2023 DOI: 10.1007/978-3-031-36840-0_11
  +Save
• Protocol Insecurity with Assertions
  arXiv preprint arXiv:2202.04518 2022
  +Save
• A decidable class of security protocols for both reachability and equivalence properties
  Journal of Automated Reasoning 2021
  +Save
• Who holds the best card? Secure communication of optimal secret bits.
  Australas. J Comb. 2021
  +Save
• The complexity of disjunction in intuitionistic logic
  Journal of Logic and Computation 2020
  +Save
• Machine reasoning explainability
  arXiv preprint arXiv:2009.00418 2020
  +Save
• Formal analysis of EDHOC key establishment for constrained IoT devices
  arXiv preprint arXiv:2007.11427 2020
  +Save
• Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices
  arXiv preprint arXiv:2007.11427 2020
  +Save