Alice R. Lee

According to our database, Alice R. Lee authored at least 1 paper in 2022.

Collaborative distances:

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

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