52 citations · 53 across the 2 of their papers we have counts for
3 papers
An Inductive Synthesis Framework for Verifiable Reinforcement Learning
He Zhu, Zikang Xiong, Stephen Magill +1
Despite the tremendous advances that have been made in the last decade on developing useful machine-learning applications, their wider adoption has been hindered by the lack of str…
What's the Over/Under? Probabilistic Bounds on Information Leakage
Ian Sweet, Jose Manuel Calderon Trilla, Chad Scherrer +2
Quantitative information flow (QIF) is concerned with measuring how much of a secret is leaked to an adversary who observes the result of a computation that uses it. Prior work has…
Refining Existential Properties in Separation Logic Analyses
Matko Botinčan, Mike Dodds, Stephen Magill
In separation logic program analyses, tractability is generally achieved by restricting invariants to a finite abstract domain. As this domain cannot vary, loss of information can…