Srikar Reddy

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 2

Top Topics

Simulated Robot

Indoor Environments

Surveillance Videos

Mathematical Expressions

Top Venues

IEEE Consumer Electron. Mag.

Int. J. Inf. Sec.

Publications

Sibi Chakkaravarthy Sethuraman, Pranav Kompally, Srikar Reddy
VISU: A 3-D Printed Functional Robot for Crowd Surveillance. IEEE Consumer Electron. Mag. 10 (1) (2021)
Egor Dolzhenko, Jay Ligatti, Srikar Reddy
Modeling runtime enforcement with mandatory results automata. Int. J. Inf. Sec. 14 (1) (2015)
Jay Ligatti, Srikar Reddy
A Theory of Runtime Enforcement, with Results. ESORICS (2010)