Applying flow-sensitive CQUAL to verify MINIX authorization check placement.

Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh

Browse the full PLDI paper archive.