Hustling Through the Dark - the full novel
Formally mathematically-proven designs and oses prevent what seem to me to be the obvious kinds of exploits. your focus on preventing a hostile singularity makes you immune to most any kind of social manipulation that doesn't feed into it.