Correction to "Information Flow Certification Using an Intermediate Code Program Representation" | IEEE Journals & Magazine | IEEE Xplore