5 works on record
Scalable Techniques for Formal Verification
Security Policy in System-on-Chip Designs
Internet of Things. A Confluence of Many Disciplines
Satyajit Ray on Cinema
Fundamentals of IP and SoC Security
