10 citations · 23 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Stack-Aware Hyperproperties
Ali Bajwa, Minjian Zhang, Rohit Chadha +1
A hyperproperty relates executions of a program and is used to formalize security objectives such as confidentiality, non-interference, privacy, and anonymity. Formally, a hyperpro…
cs.LO2013★ 3 cited
Reachability under Contextual Locking
Remi Bonnet, Rohit Chadha, Mahesh Viswanathan +1
The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of the progr…