Automated Abstraction Refinement for Information Flow Security in Embedded Systems
Paper proposes heuristic automatic abstraction refinement for information flow analysis in concurrent embedded systems, implemented for SystemC.
1 stories, newest first · one card per story
Paper proposes heuristic automatic abstraction refinement for information flow analysis in concurrent embedded systems, implemented for SystemC.
Today 1.6K readers · 2.5K views · 779 reads · all time 189K views