With respect...Security through obscurity is dead. We are approaching the point where only formally verified (for security) systems can be trusted. Every possib

With respect...Security through obscurity is dead. We are approaching the point where only formally verified (for security) systems can be trusted. Every possible attack will be attempted. Every opening will be exploited, and every useful combination of those exploits will be done. LLMs are patient, tireless, capable of rigorous opsec, and effectively infinite in number.