Alice R. Lee

According to our database, Alice R. Lee authored at least 2 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Leveraging Formal Methods to Strengthen Cyber-Resilience in Authorization to Operate.

Alice R. Lee, Jack Cheng, Timothy M. Braje, Noah Luther, Ian McQuoid, Gruia-Catalin Roman, Joseph Dan Trujillo, Richard Skowyra, Samuel Mergendahl

Proceedings of the IEEE Military Communications Conference, 2025

2022

Adversary Safety by Construction in a Language of Cryptographic Protocols.

Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022