Timothy M. Braje

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

Collaborative distances:

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

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