Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems
A Framework for Testimony-Infused Automated Adjudicative Dynamic Multi-Agent Reasoning in Ethically Charged Scenarios