Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
José Bacelar AlmeidaManuel BarbosaJorge Sousa PintoBárbara VieiraPublished in: FMICS (2009)
Keyphrases
- software implementation
- software development
- efficient implementation
- software tools
- computer systems
- software systems
- software architecture
- software components
- software maintenance
- software design
- embedded systems
- random number generators
- hardware design
- software evolution
- software package
- personal computer
- machine learning
- development process
- model checking
- source code