Sharad Malik
Scholar

Sharad Malik

Google Scholar ID: MV8KGT0AAAAJ
Professor of Electrical and Computer Engineering, Princeton University
Computer EngineeringElectronic Design AutomationComputer-Aided DesignFormal VerificationHardware Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,093
 
H-index
33
 
i10-index
69
 
Publications
20
 
Co-authors
18
list available
Contact
CVOpen ↗
Publications
2 items
SecIC3: Customizing IC3 for Hardware Security Verification
2026
Cited
0
FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
2025
Cited
0
Resume (English only)
Academic Achievements
  • Recent Talks: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms, Invited Talk, Design Automation Conference (DAC), July 11, 2023.
Research Experience
  • Hardware Platform Security Verification; Systems-on-Chip Modeling and Verification; Firmware-Hardware Co-verification.
Background
  • George Van Ness Lothrop Professor of Engineering; Dept. of Electrical and Computer Engineering; Research Interests: Design automation for digital systems, functional and security verification of digital systems.
Miscellany
  • Currently, there is an open post-doc position in the areas of system verification and security architectures.
Co-authors
18 total
Kurt Keutzer
Kurt Keutzer
Professor of the Graduate School, EECS, University of California, Berkeley
Co-author 2
Co-author 2
Margaret Martonosi
Margaret Martonosi
Professor of Computer Science, Princeton University
Co-author 4
Co-author 4
Aarti Gupta
Aarti Gupta
Princeton University
Alberto Sangiovanni Vincentelli
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Co-author 7
Co-author 7
Co-author 8
Co-author 8