Verifying Curve25519 Software.
Yu-Fang ChenChang-Hong HsuHsin-Hung LinPeter SchwabeMing-Hsien TsaiBow-Yaw WangBo-Yin YangShang-Yi YangPublished in: CCS (2014)
Keyphrases
- software systems
- software tools
- computer systems
- software maintenance
- image sequences
- b spline
- software platform
- commercial software
- software package
- software projects
- software architecture
- database
- user interface
- image segmentation
- real world
- metadata
- machine learning
- software quality
- analysis tool
- software packages
- neural network
- data sets