A programming bug in an Operating System can bring down an entire server infrastructure and with it the privacy of the actors who depend on that system. In recent years, many measures have been taken to protect the core ...