15 citations · 19 across the 5 of their papers we have counts for
4 papers · 1 filter
A Bayesian Approach to Membership Inference for Statistical Release
Lisa Oakley, Sam Stites, Cameron Moy +3
The membership inference problem for publicly released statistics from a private dataset is well-studied. When developing and formally analyzing attack strategies, however, the foc…
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
Lisa Oakley, Steven Holtzen, Alina Oprea
Programmatically generating tight differential privacy (DP) bounds is a hard problem. Two core challenges are (1) finding expressive, compact, and efficient encodings of the distri…
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Lisa Oakley, Alina Oprea, Stavros Tripakis
Probabilistic model checking is a useful technique for specifying and verifying properties of stochastic systems including randomized protocols and reinforcement learning models. E…
QFlip: An Adaptive Reinforcement Learning Strategy for the FlipIt Security Game
Lisa Oakley, Alina Oprea
A rise in Advanced Persistent Threats (APTs) has introduced a need for robustness against long-running, stealthy attacks which circumvent existing cryptographic security guarantees…