4 papers
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Kristina Miller, Christopher K. Zeitler, William Shen +4
A runtime assurance system (RTA) for a given plant enables the exercise of an untrusted or experimental controller while assuring safety with a backup (or safety) controller. The r…
Deciding Differential Privacy of Online Algorithms with Multiple Variables
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan +1
We consider the problem of checking the differential privacy of online randomized algorithms that process a stream of inputs and produce outputs corresponding to each input. This p…
RTAEval: A framework for evaluating runtime assurance logic
Kristina Miller, Christopher K. Zeitler, William Shen +2
Runtime assurance (RTA) addresses the problem of keeping an autonomous system safe while using an untrusted (or experimental) controller. This can be done via logic that explicitly…
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…