Invited - Specification and modeling for systems-on-chip security verification.
Sharad MalikPramod SubramanyanPublished in: DAC (2016)
Keyphrases
- asynchronous circuits
- formal methods
- sys tems
- low cost
- access control
- complex systems
- security systems
- expert systems
- computer systems
- model checking
- colored petri nets
- high security
- computing systems
- high assurance
- security measures
- formal verification
- web services
- researchers and practitioners
- intrusion detection
- high level