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.
Stories per day · 30 days
2 stories, newest first · one card per story
Stories tagged #abstract-interpretation
Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits
Automated framework soundly removes up to 48.7% of redundant constraints in ezkl and zkml ZK-ML circuits, cutting prover time by up to 72.8%.