20th International Workshop on Microprocessor/SoC Test, Security and Verification, MTV 2019, Austin, TX, USA, December 9-10, 2019
Published in: MTV (2019)
Keyphrases
- high security
- functional verification
- access control
- test generation
- expert systems
- java card
- information security
- security requirements
- cryptographic protocols
- security level
- signature verification
- security issues
- stanford university
- hardware and software
- model checking
- hardware software co design
- high speed
- integrity verification
- security protocols
- security policies
- network security
- intrusion detection
- formal verification
- data mining
- high assurance
- low power
- special purpose hardware