Languages
Ray, Sandip.
Overview
| Works: | 4 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Security policy in system-on-chip designsspecification, implementation and verification /
by:
Basak, Abhishek.; Bhunia, Swarup.; Ray, Sandip.; SpringerLink (Online service)
(Electronic resources)
Fundamentals of IP and SoC securitydesign, verification, and debug /
by:
Bhunia, Swarup.; Ray, Sandip.; SpringerLink (Online service); Sur-Kolay, Susmita.
(Electronic resources)
Scalable techniques for formal verification
by:
Ray, Sandip.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer security.
Computer systems
Electronics and Microelectronics, Instrumentation.
Formal methods (Computer science)
Computer-Aided Engineering (CAD, CAE) and Design.
Data encryption (Computer science)
Processor Architectures.
Automatic theorem proving.
Circuits and Systems.
Internet
Engineering.
Electronic Circuits and Devices.
Systems on a chip