Automated Abstraction Refinement for Information Flow Security in Embedded Systems

Jonas Becker-Kupczok, Lukas Ernst, Paula Herber

Information flow analysis (IFA) is a powerful technique for verifying confidentiality and integrity and is therefore highly desirable for security-sensitive embedded systems. Howev…