Formal analysis of EDHOC key establishment for constrained IoT devices K Norrman, V Sundararajan, A Bruni arXiv preprint arXiv:2007.11427, 2020 | 20 | 2020 |
Machine reasoning explainability K Cyras, R Badrinath, SK Mohalik, A Mujumdar, A Nikou, A Previti, ... arXiv preprint arXiv:2009.00418, 2020 | 13 | 2020 |
Extending dolev-yao with assertions R Ramanujam, V Sundararajan, SP Suresh Information Systems Security: 10th International Conference, ICISS 2014 …, 2014 | 11 | 2014 |
A decidable class of security protocols for both reachability and equivalence properties V Cortier, S Delaune, V Sundararajan Journal of Automated Reasoning 65, 479-520, 2021 | 7 | 2021 |
Existential assertions for voting protocols R Ramanujam, V Sundararajan, SP Suresh Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017 | 4 | 2017 |
Safe RAN control: A Symbolic Reinforcement Learning Approach A Nikou, A Mujumdar, V Sundararajan, M Orlic, AV Feljan 2022 IEEE 17th International Conference on Control & Automation (ICCA), 332-337, 2022 | 3 | 2022 |
The complexity of disjunction in intuitionistic logic R Ramanujam, V Sundararajan, SP Suresh Logical Foundations of Computer Science: International Symposium, LFCS 2016 …, 2016 | 2 | 2016 |
Solving the insecurity problem for assertions R Ramanujam, V Sundararajan, SP Suresh arXiv preprint arXiv:2308.13773, 2023 | | 2023 |
Extended Formal Analysis of the EDHOC Protocol in Tamarin A Bruni, K Normann, V Sundararajan Extended Formal Analysis of the EDHOC Protocol in Tamarin, 2023 | | 2023 |
Insecurity problem for assertions remains in NP R Ramanujam, V Sundararajan, SP Suresh arXiv preprint arXiv:2202.04518, 2022 | | 2022 |
Extended Formal Analysis of the EDHOC Protocol in Tamarin K Norrman, V Sundararajan, A Bruni International Conference on E-Business and Telecommunications, 224-248, 2021 | | 2021 |
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices K Norrman, V Sundararajan, A Bruni SECRYPT 2021, 210--221, 2021 | | 2021 |
Who holds the best card? Secure communication of optimal secret bits H Van Ditmarsch, D Fernández-Duque, V Sundararajan, SP Suresh AUSTRALASIAN JOURNAL OF COMBINATORICS 80, 1-29, 2021 | | 2021 |
The complexity of disjunction in intuitionistic logic R Ramanujam, V Sundararajan, SP Suresh Journal of Logic and Computation 30 (1), 421-445, 2020 | | 2020 |
Existential Assertions For Voting Protocols R Ramanujam, V Sundararajan, SP Suresh | | |
A Theory of Assertions for Dolev-Yao Models V Sundararajan | | |
Deciding trace equivalence for protocols with asymmetric operations V Cortier, S Delaune, V Sundararajan | | |
Communicating assertions in security protocols: formal models and complexity R Ramanujam, V Sundararajan, SP Suresh | | |
Complexity of fragments of intuitionistic logic with disjunction R Ramanujam, V Sundararajan, SP Suresh | | |