Minor tweak.

paper/intro.tex

@@ -77,8 +77,8 @@ of cryptographic software:
     through computer-checked reductions from some assumed-to-be-hard mathematical problem.\label{hacs:secure}
 \end{enumerate}
 A recent addition to this triplet (or rather an extension of implementation security)
-is security also against attacks expoiting speculative execution. 
-See, e.g.,~\cite{DBLP:conf/pldi/CauligiDGTSRB20}.
+is security also against attacks expoiting speculative execution;
+see, e.g.,~\cite{DBLP:conf/pldi/CauligiDGTSRB20}.
 This paper targets only the first point and attempts to make results
 immediately usable for verification efforts of cryptographic security.