brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-11-27 18:28:52 -05:00
Code Issues Projects Releases Packages Wiki Activity
website/content/publications.md

4 KiB
Raw Blame History

Title description showthedate aliases
Publications Papers, Presentations, and Awards obtained false
/research/publications

Publications

CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation

  • Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek.
  • Venue: International Symposium on Games, Automata, Logic, and Formal Verification, 2022.
  • Paper

A Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-Agent Reasoning in Ethically Charged Scenarios

  • Authors: Brandon Rozek, Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu
  • Venue: International Conference on Robot Ethics and Standards, 2022.
  • Paper

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems

  • Authors: Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
  • Venue: International Symposium on Frontiers of Combining Systems, 2021.
  • Paper

Papers

CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms

  • Authors: D Chichester, W Du, R Kauffman, H Lin, C Lynch, A M. Marshall, C Meadows, P Narendran, V Ravishankar, L Rovira, B Rozek
  • Venue: International Workshop on Rewriting Logic and its Applications, 2022.
  • Paper | Slides

Algorithmic Problems in Synthesized Cryptosystems

  • Authors: Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
  • Venue: International Workshop on Unification, 2020.
  • Paper

Thesis

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

Presentations

QEP: The Quality Policy Evaluation Algorithm

  • Venue: Research and Creativity Day at University of Mary Washington, 2019.
  • Program | Slides

Beowulf Cluster for Research and Education

  • Authors: Brandon Rozek and Stefano Coronado
  • Venue: Research and Creativity Day at University of Mary Washington, 2018.
  • Program | Poster

Coherent Control of Atomic Population Using the Genetic Algorithm

  • Venue: Summer Science Institute Research Symposium, 2017.
  • Presentation

Modelling Population Dynamics of Incoherent and Coherent Excitation

  • Authors: Hannah Killian and Brandon Rozek
  • Venue: Virginia Academy of Science, 2017.
  • Poster | Program

Modeling Population Dynamics of Incoherent and Coherent Excitation

  • Authors: Hannah Killian and Brandon Rozek
  • Venue: 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)