diff --git a/server_ui/templates/docs.html b/server_ui/templates/docs.html
index ae4c7655abd9d3d667b10f1f9cab9df45603d4e0..9aef1a14d33079d393a14de3e9a2173d83a0c1dc 100644
--- a/server_ui/templates/docs.html
+++ b/server_ui/templates/docs.html
@@ -22,6 +22,7 @@ ballot was received and counted properly:
 <ul>
 <li> <a href="http://documentation.heliosvoting.org/">technical documentation</a></li>
 <li> <a href="http://www.usenix.org/events/sec08/tech/full_papers/adida/adida.pdf">original peer-reviewed (Usenix Security 2008)</a></li>
+<li> <a href="https://github.com/google/pyrios">Pyrios</a>, a Go library by <a href="http://1.37e2.net/">Tom Roeder</a> that verifies Helios elections.
 <li> <a href="http://www.uclouvain.be/crypto/electionmonitor/default/about">Helios Election Monitor</a>, produced by the Universite catholique de Louvain.</li>
 </ul>