Add HOARe2.

This commit is contained in:
Justin Hsu 2018-08-01 13:32:46 -04:00
parent eb39fd9a18
commit e60c2dee65
1 changed files with 3 additions and 0 deletions

View File

@ -62,6 +62,9 @@
- Andrew Miller, Michael Hicks, Jonathan Katz, and Elaine Shi. - Andrew Miller, Michael Hicks, Jonathan Katz, and Elaine Shi.
[*Authenticated Data Structures, Generically*](https://www.cs.umd.edu/~mwh/papers/gpads.pdf). [*Authenticated Data Structures, Generically*](https://www.cs.umd.edu/~mwh/papers/gpads.pdf).
POPL 2014. 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. - Samee Zahur and David Evans.
[*Obliv-C: A Language for Extensible Data-Oblivious Computation*](https://eprint.iacr.org/2015/1153.pdf). [*Obliv-C: A Language for Extensible Data-Oblivious Computation*](https://eprint.iacr.org/2015/1153.pdf).
IACR 2015. IACR 2015.