Commit a004bcf2 authored by Peter Schwabe's avatar Peter Schwabe
Browse files

Started adding works to related work

parent 7febd9a1
......@@ -78,6 +78,7 @@ or write the low-level code by hand and prove that it
matches the specification.
\todo{Say something about all X25519 implementations from the SoK paper.}
The work described in~\cite{XXX}
%The synthesis approach was used by Zinzindohou{\'{e}}, Bartzia, and Bhargavan to build a verified extensible
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment