Lisa Oakley

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Weighted Model Counting

Information Leakage

Reinforcement Learning

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Lisa Oakley, Steven Holtzen, Alina Oprea
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting. CoRR (2024)
Arthur Américo, Allison Bishop, Paul Cesaretti, Garrison Grogan, Adam McKoy, Robert Moss, Lisa Oakley, Marcel Ribeiro, Mohammad Shokri
Defining and Controlling Information Leakage in US Equities Trading. Proc. Priv. Enhancing Technol. 2024 (2) (2024)
Arthur Américo, Allison Bishop, Paul Cesaretti, Garrison Grogan, Adam McKoy, Robert Moss, Lisa Oakley, Marcel Ribeiro, Mohammad Shokri
Defining and Controlling Information Leakage in US Equities Trading. IACR Cryptol. ePrint Arch. 2023 (2023)
Lisa Oakley, Alina Oprea, Stavros Tripakis
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CSF (2022)
Lisa Oakley, Alina Oprea, Stavros Tripakis
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CoRR (2021)
Lisa Oakley, Alina Oprea
\mathsf QFlip : An Adaptive Reinforcement Learning Strategy for the \mathsf FlipIt Security Game. GameSec (2019)
Lisa Oakley, Alina Oprea
Playing Adaptively Against Stealthy Opponents: A Reinforcement Learning Strategy for the FlipIt Security Game. CoRR (2019)