1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2021
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs
Sandip Ghosal, R. K. Shyamasundar
Realizing flow security in a concurrent environment is extremely challenging, primarily due to non-deterministic nature of execution. The difficulty is further exacerbated from a s…
cs.LO2002★ 1 cited
Approximate Computation of Reach Sets in Hybrid Systems
D. Ravi, R. K. Shyamasundar
One of the most important problems in hybrid systems is the {\em reachability problem}. The reachability problem has been shown to be undecidable even for a subclass of {\em linear…