Program Analysis of Cryptographic Implementations for Security.
Sazzadur RahamanDanfeng YaoPublished in: SecDev (2017)
Keyphrases
- security protocols
- security properties
- key management
- smart card
- encryption scheme
- fuzzy vault
- security requirements
- security mechanisms
- cryptographic protocols
- encryption decryption
- information security
- secure communication
- elliptic curve cryptography
- cryptographic algorithms
- encryption key
- security issues
- random number generator
- public key cryptography
- access control
- stream cipher
- security threats
- random number generators
- high assurance
- digital signature
- data security
- security analysis
- security policies
- network security
- security model
- security problems
- security systems
- security services
- elliptic curve
- secret key
- intrusion detection
- wireless sensor networks
- packet filtering
- ad hoc networks
- statistical databases
- computer security
- authentication protocol