@inproceedings{ CHL+14,
  author        = {Yu-Fang Chen and Chang-Hong Hsu and Hsin-Hung Lin and Peter Schwabe and Ming-Hsien Tsai and Bow-Yaw Wang and Bo-Yin Yang and and Shang-Yi Yang},
  title         = {Verifying Curve25519 Software},
  booktitle     = {Proceedings of the 2014 {ACM SIGSAC} Conference on Computer and Communications Security, {CCS'14}},
  publisher     = {ACM},
  year          = {2014},
  pages         = {299--309},
  note          = {Document ID: 55ab8668ce87d857c02a5b2d56d7da38, \url{http://cryptojedi.org/papers/\#verify25519}},
}