15 citations · 19 across the 5 of their papers we have counts for
5 papers
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…
Hierarchical Multi-agent Reinforcement Learning for Cyber Network Defense
Aditya Vikram Singh, Ethan Rathbun, Emma Graham +4
Recent advances in multi-agent reinforcement learning (MARL) have created opportunities to solve complex real-world tasks. Cybersecurity is a notable application area, where defend…
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…