From dac208ea89111f9f5fc79ac86fc962b16e4fe533 Mon Sep 17 00:00:00 2001
From: Ben Adida <ben@adida.net>
Date: Sun, 4 Jan 2015 21:50:14 +0000
Subject: [PATCH] added Pyrios link

---
 server_ui/templates/docs.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/server_ui/templates/docs.html b/server_ui/templates/docs.html
index ae4c765..9aef1a1 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>
 
-- 
GitLab