PhD Student @ RPI studying Automated Reasoning in AI and Linux Enthusiast.
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
CryptoSolve: A Tool for the Analysis of Cryptographic Modes of Operation
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems
Algorithmic Problems in Synthesized Cryptosystems
A Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-Agent Reasoning in Ethically Charged Scenarios