From e60c2dee65999dedd73bd4bbdc4112836f57438c Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Wed, 1 Aug 2018 13:32:46 -0400
Subject: [PATCH] Add HOARe2.

---
 website/docs/resources/readings.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/website/docs/resources/readings.md b/website/docs/resources/readings.md
index fa4cd90..1071a47 100644
--- a/website/docs/resources/readings.md
+++ b/website/docs/resources/readings.md
@@ -62,6 +62,9 @@
 - Andrew Miller, Michael Hicks, Jonathan Katz, and Elaine Shi.
   [*Authenticated Data Structures, Generically*](https://www.cs.umd.edu/~mwh/papers/gpads.pdf).
   POPL 2014.
+- Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Pierre-Yves Strub
+  [*Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy*](https://arxiv.org/pdf/1407.6845.pdf).
+  POPL 2015.
 - Samee Zahur and David Evans.
   [*Obliv-C: A Language for Extensible Data-Oblivious Computation*](https://eprint.iacr.org/2015/1153.pdf).
   IACR 2015.