R. K. Ramesh

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Transition Systems

Automated Verification

Information Flow

Top Venues

J. Comput. Secur.

Publications

Deepak D'Souza, R. K. Ramesh
Model-checking trace-based information flow properties for infinite-state systems. J. Comput. Secur. 24 (5) (2016)