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 (CSF, 2022)

Mission Resilience Experimentation and Evaluation Testbed. - Bich Vu; John Darby Mitchell; Katherine Stowell; Mark Rabe; Orton Huang; Robert Lychev; Martine Kalke (MILCOM, 2022)