Showing 1 - 1 results of 1 for search 'F. . Madlener', query time: 0.25s
Refine Results
-
1
Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography by M. . Anikeev, F. . Madlener, A. . Schlosser, S. A. Huss, C. . Walther
Published 2010-12-01
Article