Formal verification for computer security: Lessons learned and future directions.

Dawn Song

Browse the full FMCAD paper archive.