Yu-Fang Chen, Chang-Hong Hsu, Hsin-hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang. Verifying Curve25519 Software. In Gail-Joon Ahn, Moti Yung, Ninghui Li, editors, Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014. pages 299-309, ACM, 2014. [doi]
@inproceedings{ChenHLSTWYY14,
title = {Verifying Curve25519 Software},
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 Shang-Yi Yang},
year = {2014},
doi = {10.1145/2660267.2660370},
url = {http://doi.acm.org/10.1145/2660267.2660370},
researchr = {https://researchr.org/publication/ChenHLSTWYY14},
cites = {0},
citedby = {0},
pages = {299-309},
booktitle = {Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
editor = {Gail-Joon Ahn and Moti Yung and Ninghui Li},
publisher = {ACM},
isbn = {978-1-4503-2957-6},
}