Srikar Reddy

According to our database¹, Srikar Reddy authored at least 3 papers between 2010 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

VISU: A 3-D Printed Functional Robot for Crowd Surveillance.

[BibT_eX]

[DOI]

IEEE Consumer Electron. Mag., 2021

2015

Modeling runtime enforcement with mandatory results automata.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2015

2010

A Theory of Runtime Enforcement, with Results.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2010