Lisa Oakley

Lisa Oakley

CV | Google Scholar | GitHub | LinkedIn
oakley.l at northeastern dot edu
Pronouns: she/her

I am a third year PhD Candidate at Northeastern University, advised by Professors Alina Oprea and Stavros Tripakis as a part of the NDS2 lab. My work focuses on formal specification and verification of cybersecurity and privacy problems, as well as verifiable AI systems. I additionally study adversarial machine learning and have background in cloud platforms software, distributed postgres databases, and mobile app development. Check out the Khoury News article about my paper award!

Apart from research interests I do crossword puzzles, perform improv comedy, crochet, and dance. I am also a co-organizer of the Khoury College PhD Women Group.


Ph.D. Computer Science, September 2020-present
Northeastern University, Boston MA

M.S. Computer Science, August 2022
Northeastern University, Boston MA

B.S. Mathematics and Computer Science, December 2018
Northeastern University, Boston MA
summa cum laude

Publications and Presentations

Defining and Controlling Information Leakage in US Equities Trading
Arthur Américo, Allison Bishop, Paul Cesaretti, Garrison Grogan, Adam McKoy, Robert Moss, Lisa Oakley, Marcel Ribeiro, Mohammad Shokri
Manuscript (In Submission) (2023)
[paper] [blog post]

Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Lisa Oakley, Alina Oprea, and Stavros Tripakis
In 35th IEEE Computer Security Foundations Symposium (CSF, FLoC) (2022)
[paper] [video] [code] [project site]

Adversarial Robustness of AI Agents Acting in Probabilistic Environments
Lisa Oakley, Alina Oprea, and Stavros Tripakis
Workshop on Foundations of Computer Security (2020)
[paper] [video]

QFlip: An Adaptive Reinforcement Learning Strategy for the FlipIt Security Game
Lisa Oakley and Alina Oprea
In Proceedings of the Conference on Decision and Game Theory for Security (GameSec) (2019)
**Outstanding Student Paper Award**
[paper] [code] [project site]

Concourse as a Service and Multi-CPI
Trevor Yacovone, Lisa Oakley, Jason Vigil, and Kristofer Macoskey
Pivotal Engineering Journal (2018)
[blog post]


Quant Researcher

Proof Trading, Inc.
New York, NY
June 2022 - Present

Research Assistant

Northeastern University Cybersecurity and Privacy Institute
Boston, MA
September 2018 - Present

Course Assistant

CS 3000: Algorithms and Data Structures
Boston, MA
Spring & Fall 2018

Software Engineering Intern

VMWare Tanzu Greenplum
Palo Alto, CA
June 2018 - August 2018

Software Engineering Co-op

VMWare Tanzu
New York, NY
July 2017 - December 2017

Course Assistant

CS 2800: Logic and Computation
Boston, MA
Spring 2017

QA Engineering (mobile) Co-op

Asics Digital (Runkeeper)
Boston, MA
July 2016 - December 2016

Administrative Assitant

BNY Mellon Asset Management Company LLC
Boston, MA
October 2015 - June 2016

Public Works Intern

County of Napa
Napa, CA
April - August 2015 & June - September 2014