diff --git a/website/docs/resources/readings.md b/website/docs/resources/readings.md index 6e21b87..dc47c7f 100644 --- a/website/docs/resources/readings.md +++ b/website/docs/resources/readings.md @@ -22,7 +22,7 @@ in Less than a Second*. EUROCRYPT 2015. - Peter Kairouz, Sewoong Oh, and Pramod Viswanath. *Secure Multi-party Differential Privacy*. NIPS 2015. -- Arjun Narayan, Ariel Feldman, Antonis Papadimitriou, Andreas Haeberlen, +- Arjun Narayan, Ariel Feldman, Antonis Papadimitriou, and Andreas Haeberlen, *Verifiable Differential Privacy*. EUROSYS 2015. ### Language-Based Security @@ -32,7 +32,7 @@ - Daniel B. Griffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C.Mitchell, and Alejandro Russo. *Hails: Protecting Data Privacy in Untrusted Web Applications*. OSDI 2012. -- Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh. +- Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, and G. Edward Suh. *Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis*. ASPLOS 2017. - Danfeng Zhang, Aslan Askarov, and Andrew C. Myers. *Language-Based Control and