Modular Verification for Computer Security Abstract: For many software components, it is useful and important to verify their security. This can be done by an analysis of the software itself, or by ...