Formal verification for computer security: Lessons learned and future directions | IEEE Conference Publication | IEEE Xplore