From d0c938888b3dd00cfdb27bb9444401b9e5913490 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 31 Jul 2019 21:54:53 -0400
Subject: Ported JVM reference generation to the new JVM bytecode machinery.

---
 documentation/research/cryptography.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'documentation/research/cryptography.md')

diff --git a/documentation/research/cryptography.md b/documentation/research/cryptography.md
index 8176bbcf7..bd3ec0d87 100644
--- a/documentation/research/cryptography.md
+++ b/documentation/research/cryptography.md
@@ -1,5 +1,7 @@
 # Constant-time programming
 
+1. [Verifying Constant-Time Implementations](https://michael-emmi.github.io/papers/conf-uss-AlmeidaBBDE16.pdf)
+1. https://www.bearssl.org/ctmul.html
 1. [FaCT: A Flexible, Constant-Time Programming Language](https://cseweb.ucsd.edu/~dstefan/pubs/cauligi:2017:fact.pdf)
 1. [FaCT: A DSL for Timing-Sensitive Computation](https://ranjitjhala.github.io/static/fact_dsl.pdf)
 1. ["FaCT: A New Language for Constant-Time Programming" by Sunjay Cauligi](https://www.youtube.com/watch?v=kbn9UCRK2Qg)
-- 
cgit v1.2.3