Change refstyle to splncs04

This changed latex's page layout quite a bit, putting the results
table alone on a page. I reduced the arraystretch of that table to
reduce its size and have the article stay within the limit of 20
pages.

curve13318.tex

@@ -110,7 +110,6 @@ cofactor security}
 %\input{algorithms}
 
 %\clearpage
-%\bibliographystyle{splncs04}%
-\bibliographystyle{alpha}
+\bibliographystyle{splncs04}%
 \bibliography{refs}%
 \end{document}

results.tex

@@ -15,7 +15,7 @@ as listed in the datasheet~\cite{STM32F407}
 We list the benchmarking results in Table~\ref{tab:benchmarks}. As expected,
 none of our implementations exceed the performance of Curve25519.
 
-\def\arraystretch{1.2}
+\def\arraystretch{1.1}
 \setlength\tabcolsep{6pt}
 \ctable[
     caption = {Measured cycle counts
@@ -42,14 +42,14 @@ none of our implementations exceed the performance of Curve25519.
     \hline
     \textbf{Implementation} & \textbf{SB} & \textbf{IB} & \textbf{H} & \textbf{M4} \\
     \hline
-    Curve25519~(\cite{Cho16}) & $159\,128$\tmark[a] & $156\,995$\tmark[a] & $155\,823$\tmark[b] & -- \\
-    Curve25519~(\cite{FL15}) & -- & -- & $\approx156\,500$\tmark[c] & -- \\
-    Curve25519~(\cite{OLH+18}) & -- & -- & $138\,963$\tmark[a] & -- \\
+    Chou16~\cite{Cho16} & $159\,128$\tmark[a] & $156\,995$\tmark[a] & $155\,823$\tmark[b] & -- \\
+    Faz-Hernández-Lopez15~\cite{FL15} & -- & -- & $\approx156\,500$\tmark[c] & -- \\
+    OLHF18~\cite{OLH+18} & -- & -- & $138\,963$\tmark[a] & -- \\
     %                                              ^ 138,963
     % Their code is at https://github.com/armfazh/rfc7748_precomputed
     % So in <https://hyperelliptic.org/tanja/lc17/ascrypto/day1/slides/lopez-software.pdf> Lopez reports 127kcc, using MULX+ADCX/ADOX, but Haswell does not support ADX (only BMI2).
-    Curve25519~(\cite{FA17}) & -- & -- & -- & $907\,240$\tmark[a]\\
-    Curve25519~(\cite{HL19}) & -- & -- & -- & $625\,358$\tmark[a]\\
+    Fujii-Aranha19~\cite{FA17} & -- & -- & -- & $907\,240$\tmark[a]\\
+    Haase-Labrique19~\cite{HL19} & -- & -- & -- & $625\,358$\tmark[a]\\
     Curve13318~(\textbf{this work}) & $389\,546$\tmark[b] & $382\,966$\tmark[b] & $204\,643$\tmark[b] & $1\,797\,451$\tmark[b] \\
     Ed25519 verify & $221\,988$\tmark[d] & $206\,080$\tmark[d] & $184\,052$\tmark[d] & -- \\
     % SB: SUPERCOP h6sandy