arXiv cs.CR·2d agoAutomated Abstraction Refinement for Information Flow Security in Embedded Systems#information-flow-analysis#abstraction-refinement#symbolic-executionResearch