QuantumDruid

QuantumDruid is a web server designed from the ground up with security and provability. It aims to be mathematically proven to be secure, and already has a proof which shows that it is invulnerable to buffer overflow attacks.