Brandon Rozek

PhD Student in Computer Science @ RPI

About

Brandon Rozek is a PhD student studying under Dr. Selmer Bringsjord in the Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory.

His research interests include designing intelligent agents using computational logic including:

Peer Reviewed Publications

For a more up to date presentation please visit Google Scholar or my website.

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.

Workshop Papers

For a more up to date presentation please visit Google Scholar or my website.

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.