Lessons Learned from Building a High-Assurance Crypto Gateway | IEEE Journals & Magazine | IEEE Xplore