This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Sharad Malik
A grouping.
Sharad Malik, Princeton: instruction-level abstraction for hardware verification (2018) and the security-property line built on it, through to 2026 work on SecIC3 and efficient checking. Four records.
4 references
Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing
Yu-Wei Fan and others (2026)
SecIC3: Customizing IC3 for Hardware Security Verification
Qinhan Tan and others (2026) · Design, Automation and Test in Europe (DATE 2026)
Security Verification of Low-Trust Architectures
Qinhan Tan and others (2023) · ACM SIGSAC Conference on Computer and Communications Security (CCS '23)
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Bo-Yuan Huang and others (2018) · ACM Transactions on Design Automation of Electronic Systems · Association for Computing Machinery