Texas A&M Hackin' Aggies' Security Verification Strategies for the 2019 Hack@DAC Competition.
Saumil GogriPriya JoshiPrashant VurikitiNicole FernMichael QuinnJonathan ValamehrPublished in: IEEE Des. Test (2021)
Keyphrases
- high security
- java card
- integrity verification
- information assurance
- information security
- equilibrium strategies
- intrusion detection
- model checking
- security requirements
- network security
- negotiating agents
- access control
- asynchronous circuits
- neural network
- computer security
- security problems
- signature verification
- cryptographic protocols
- image encryption
- security mechanisms
- cyber security
- security analysis
- formal methods
- face verification
- security issues
- optimal strategy
- online auctions
- smart card
- wireless sensor networks