| Title |
description |
showthedate |
aliases |
| Publications |
Papers, Presentations, and Awards obtained |
false |
|
Publications
D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek. "CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation", International Symposium on Games, Automata, Logic, and Formal Verification, 2022.
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 M. 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
National Defense Science and Engineering Graduate (NDSEG) Fellowship, 2022-2025 (Tuition Support/$3400 per month stipend/$5000 Travel Fund/$1500 Personal Development Fund)
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)
