Martine Kalke

According to our database, Martine Kalke authored at least 2 papers in 2022.

Collaborative distances:

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

2022

Mission Resilience Experimentation and Evaluation Testbed.

Bich Vu, John Darby Mitchell, Katherine Stowell, Mark Rabe, Orton Huang, Robert Lychev, Martine Kalke

Proceedings of the IEEE Military Communications Conference, 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