Martine Kalke

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Programming Language

Cryptographic Protocols

Power Consumption

Top Venues

Publications

Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala
Adversary Safety by Construction in a Language of Cryptographic Protocols. CSF (2022)
Bich Vu, John Darby Mitchell, Katherine Stowell, Mark Rabe, Orton Huang, Robert Lychev, Martine Kalke
Mission Resilience Experimentation and Evaluation Testbed. MILCOM (2022)