Timothy M. Braje

According to our database, Timothy M. Braje authored at least 4 papers between 2010 and 2025.

Collaborative distances:

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

2025

Leveraging Formal Methods to Strengthen Cyber-Resilience in Authorization to Operate.

Alice R. Lee, Jack Cheng, Timothy M. Braje, Noah Luther, Ian McQuoid, Gruia-Catalin Roman, Joseph Dan Trujillo, Richard Skowyra, Samuel Mergendahl

Proceedings of the IEEE Military Communications Conference, 2025

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

2016

Safe Client/Server Web Development with Haskell.

Mark Mazumder, Timothy M. Braje

Proceedings of the IEEE Cybersecurity Development, 2016

2010

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

Proceedings of the Recent Advances in Intrusion Detection, 13th International Symposium, 2010