Cited By
View all- Zapata MShahshahani AZilic Z(2024)Automated Assertion Checker Generator and Information Flow Tracking for Security Verification2024 25th International Symposium on Quality Electronic Design (ISQED)10.1109/ISQED60706.2024.10528770(1-6)Online publication date: 3-Apr-2024
- Reimann LWiesner JJaszczyk KGhinami CGermek DMerchant FLeupers R(2024)Enhancing HW-SW Confidentiality Verification for Embedded Processors with SoftFlow’s Advanced Memory Range FeatureVLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence10.1007/978-3-031-70947-0_13(251-272)Online publication date: 29-Dec-2024
- Nicholas GAklekar DThakar BSaqib F(2023)Secure Instruction and Data-Level Information Flow Tracking Model for RISC-VCryptography10.3390/cryptography70400587:4(58)Online publication date: 16-Nov-2023
- Show More Cited By