Automated Assertion Checker Generator and Information Flow Tracking for Security Verification. - Miguel Angel Alfaro Zapata; Amirhossein Shahshahani; Zeljko Zilic (ISQED, 2024)