Αποτελέσματα αναζήτησης - Sundararajan, Vaishnavi

Symbolic verification of Apple's Find My location-tracking protocol από Sundararajan, Vaishnavi, Rithwik

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices από Norrman, Karl, Sundararajan, Vaishnavi, Bruni, Alessandro

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Insecurity problem for assertions remains in NP από Ramanujam, R., Sundararajan, Vaishnavi, Suresh, S. P.

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Solving the insecurity problem for assertions από Ramanujam, R, Sundararajan, Vaishnavi, Suresh, S P

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Protocol insecurity with finitely many sessions and XOR από Ramanujam, R, Sundararajan, Vaishnavi, Suresh, S P

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Safe RAN control: A Symbolic Reinforcement Learning Approach από Nikou, Alexandros, Mujumdar, Anusha, Sundararajan, Vaishnavi, Orlic, Marin, Feljan, Aneta Vulgarakis

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Self-Correcting Gossip Protocols από Cignarale, Giorgio, van Ditmarsch, Hans, Felber, Stephan, Gattinger, Malvin, Galeana, Hugo Rincon, Sundararajan, Vaishnavi

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου

Machine Reasoning Explainability από Cyras, Kristijonas, Badrinath, Ramamurthy, Mohalik, Swarup Kumar, Mujumdar, Anusha, Nikou, Alexandros, Previti, Alessandro, Sundararajan, Vaishnavi, Feljan, Aneta Vulgarakis

Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου