Srinibas Swain

activity

20202026

collaborators

3 papers

cs.CR2026

Decidability of Parameterised Dolev-Yao Secrecy

Ioana Boureanu, R. Ramanujam, Srinibas Swain

We study the verification of parameterised secrecy for cryptographic protocols in the Dolev-Yao model, where the number of protocol sessions is unbounded and treated as a parameter…

math.CO2021

Novel ways of enumerating restrained dominating sets of cycles

Sushmita Paul, Ratanjeet Pratap Chauhan, Srinibas Swain

Let $G = (V, E)$ be a graph. A set $S \subseteq V$ is a restrained dominating set (RDS) if every vertex not in $S$ is adjacent to a vertex in $S$ and to a vertex in $V - S$ . The re…

math.CO2020

A survey of repositories in graph theory

Srinibas Swain, C. Paul Bonnington, Graham Farr +1

Since the pioneering work of R. M. Foster in the 1930s, many graph repositories have been created to support research in graph theory. This survey reviews many of these graph repos…