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.