Publications

Brandon Rozek

Photo of Brandon Rozek

Software Developer, Researcher, and Linux Enthusiast.

Publications

Brandon Rozek, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu. “A Representation-and-Reasoning Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-agent Reasoning & Decision-making”, International Conference on Robot Ethics and Standards, 2022.

Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek. “Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems”, International Symposium on Frontiers of Combining Systems, 2021.

Papers

D Chichester, W Du, R Kauffman, H Lin, C Lynch, A Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek. “CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms”, International Workshop on Rewriting Logic and its Applications, 2022.

Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek. “Algorithmic Problems in Synthesized Cryptosystems”, International Workshop on Unification, 2020.

Thesis

(Undergraduate) Brandon Rozek. “Expediting Learning with Interactive Demonstrations”, University of Mary Washington, 2019.

Presentations

D Chichester, W Du, R Kauffman, H Lin, C Lynch, A Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek. “CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms”, International Workshop on Rewriting Logic and its Applications, 2022.

Brandon Rozek. “QEP: The Quality Policy Evaluation Algorithm”, Research and Creativity Day at University of Mary Washington, 2019. (Program)

Brandon Rozek, Stefano Coronado. “Beowulf Cluster for Research and Education”, Research and Creativity Day at University of Mary Washington, 2018. (Program)

Brandon Rozek. “Coherent Control of Atomic Population Using the Genetic Algorithm”, Summer Science Institute Research Symposium, 2017.

Hannah Killian, Brandon Rozek. “Modelling Population Dynamics of Incoherent and Coherent Excitation”, Virginia Academy of Science, 2017. (Program)

Hannah Killian, Brandon Rozek. “Modeling Population Dynamics of Incoherent and Coherent Excitation", Research and Creativity Day at University of Mary Washington, 2017. (Program)

Awards

Clare Arrington, Maia Magrakvilidze, Ethan Ramirez, Brandon Rozek “High Performance Cluster System for Research and Education”, University of Mary Washington, 2017-2018 School Year ($3500)