Vaishnavi Sundararajan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

R Ramanujam
10 publications
Kristijonas Čyras
7 publications
Alexandros Nikou
6 publications
Aneta Vulgarakis Feljan
5 publications
Swarup Kumar Mohalik
5 publications
Anusha Mujumdar
4 publications
Karl Norrman
3 publications
Alessandro Previti
3 publications
Ramamurthy Badrinath
3 publications
S P Suresh
2 publications
Alessandro Bruni
1 publication

research

∙ 08/26/2023

Solving the insecurity problem for assertions

In the symbolic verification of cryptographic protocols, a central probl...

0 R Ramanujam, et al. ∙

research

∙ 02/09/2022

Protocol Insecurity with Assertions

In the study of symbolic verification of cryptographic protocols, a cent...

0 R Ramanujam, et al. ∙

research

∙ 09/01/2020

Machine Reasoning Explainability

As a field of AI, Machine Reasoning (MR) uses largely symbolic means to ...

0 Kristijonas Čyras, et al. ∙

research

∙ 07/22/2020

Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices

The IETF is standardizing an authenticated key establishment (AKE) proto...

0 Karl Norrman, et al. ∙