Hardware/software co-verification of cryptographic algorithms using Cryptol.
Levent ErkökMagnus CarlssonAdam WickPublished in: FMCAD (2009)
Keyphrases
- hardware software
- cryptographic algorithms
- hardware and software
- elliptic curve cryptography
- embedded systems
- security protocols
- design methodology
- high security
- security mechanisms
- multi core processors
- high performance computing
- model checking
- hardware design
- security systems
- biometric data
- low cost
- formal methods
- image processing
- authentication scheme
- public key infrastructure
- smart card
- computer systems