3 ms·SECOMP: Formally Secure Compilation of Compartmentalized C Programs3 points by matt_d 3y agosargstuff 3y agoTitle sounds like 'compartmentalized c programs' are no longer able to be securely compiled.