E-LIB Suche - Ergebnisse für: Sundararajan, Vaishnavi

1

Extended Formal Analysis of the EDHOC Protocol in Tamarin:

, In: E-Business and Telecommunications; Communications in Computer and Information Science,

Norrman, Karl ; Sundararajan, Vaishnavi ; Bruni, Alessandro - p. 224-248 , 2023

Link: https://doi.org/10.1007/..

2

Safe RAN control: A Symbolic Reinforcement Learning Approac:

, In: 2022 IEEE 17th International Conference on Control & Automation (ICCA),

Nikou, Alexandros ; Mujumdar, Anusha ; Sundararajan, Vaishnavi.. - p. 332-337 , 2022

Link: https://doi.org/10.1109/..

3

The complexity of disjunction in intuitionistic logic:

Suresh, S P ; Sundararajan, Vaishnavi ; Ramanujam, R
Journal of Logic and Computation. 30 (2020) 1 - p. 421-445 , 2020

Link: https://doi.org/10.1093/..

4

A Decidable Class of Security Protocols for Both Reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
Journal of Automated Reasoning. 65 (2020) 4 - p. 479-520 , 2020

Link: https://doi.org/10.1007/..

5

Solving the insecurity problem for assertions:

Ramanujam, R ; Sundararajan, Vaishnavi ; Suresh, S P
http://arxiv.org/abs/2308.13773. , 2023

Link: http://arxiv.org/abs/230..

6

Insecurity problem for assertions remains in NP:

Ramanujam, R ; Sundararajan, Vaishnavi ; Suresh, S. P
http://arxiv.org/abs/2202.04518. , 2022

Link: http://arxiv.org/abs/220..

7

A decidable class of security protocols for both reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-020-09582-9. , 2021

Link: https://inria.hal.scienc..

8

Safe RAN control: A Symbolic Reinforcement Learning Approac:

Nikou, Alexandros ; Mujumdar, Anusha ; Sundararajan, Vaishnavi..
http://arxiv.org/abs/2106.01977. , 2021

Link: http://arxiv.org/abs/210..

9

A decidable class of security protocols for both reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-020-09582-9. , 2021

Link: https://inria.hal.scienc..

10

A decidable class of security protocols for both reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-020-09582-9. , 2021

Link: https://inria.hal.scienc..

11

A decidable class of security protocols for both reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-020-09582-9. , 2021

Link: https://hal.inria.fr/hal..

12

A decidable class of security protocols for both reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10817-020-09582-9. , 2021

Link: https://inria.hal.scienc..

13

A decidable class of security protocols for both reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
info:eu-repo/grantAgreement//714955/EU/Reasoning about Physical properties Of security Protocols with an Application To contactless Systems/ERC-POPSTAR. , 2020

Link: https://inria.hal.scienc..

14

A decidable class of security protocols for both reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
info:eu-repo/grantAgreement//714955/EU/Reasoning about Physical properties Of security Protocols with an Application To contactless Systems/ERC-POPSTAR. , 2020

Link: https://inria.hal.scienc..

15

Formal Analysis of EDHOC Key Establishment for Constrained ..:

Norrman, Karl ; Sundararajan, Vaishnavi ; Bruni, Alessandro
http://arxiv.org/abs/2007.11427. , 2020

Link: http://arxiv.org/abs/200..