The Quest for Formally Secure Compartmentalizing Compilation [pdf]prosecco.gforge.inria.fr2 pointsbased27 years ago