Publications

Brandon Rozek

Photo of Brandon Rozek

PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.

Algorithmic Problems in Synthesized Cryptosystems

Authors: Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek,

Conference: International Workshop on Unification

Publication Date: 2020/6

PDF Link: https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58