Generating Client Workloads and High-Fidelity Network Traffic for Controllable, Repeatable Experiments in Computer Security. - Charles V. Wright; Christopher Connelly; Timothy M. Braje; Jesse C. Rabek; Lee M. Rossey; Robert K. Cunningham (RAID, 2010)

Safe Client/Server Web Development with Haskell. - Mark Mazumder; Timothy M. Braje (SecDev, 2016)

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)