You could formally prove Unicode renderers are 100% correct. It's because they are 100% correct that they can be relied on to be exploited. The weak spot when

You could formally prove Unicode renderers are 100% correct. It's because they are 100% correct that they can be relied on to be exploited. The weak spot when it comes to security is not the hardware or the software, it's the human mind.