Missing a few and's.
This commit is contained in:
parent
e538dcda25
commit
970105389b
|
@ -22,7 +22,7 @@
|
||||||
in Less than a Second*. EUROCRYPT 2015.
|
in Less than a Second*. EUROCRYPT 2015.
|
||||||
- Peter Kairouz, Sewoong Oh, and Pramod Viswanath. *Secure Multi-party
|
- Peter Kairouz, Sewoong Oh, and Pramod Viswanath. *Secure Multi-party
|
||||||
Differential Privacy*. NIPS 2015.
|
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.
|
*Verifiable Differential Privacy*. EUROSYS 2015.
|
||||||
|
|
||||||
### Language-Based Security
|
### Language-Based Security
|
||||||
|
@ -32,7 +32,7 @@
|
||||||
- Daniel B. Griffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John
|
- Daniel B. Griffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John
|
||||||
C.Mitchell, and Alejandro Russo. *Hails: Protecting Data Privacy in Untrusted
|
C.Mitchell, and Alejandro Russo. *Hails: Protecting Data Privacy in Untrusted
|
||||||
Web Applications*. OSDI 2012.
|
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
|
*Verification of a Practical Hardware Security Architecture Through Static
|
||||||
Information Flow Analysis*. ASPLOS 2017.
|
Information Flow Analysis*. ASPLOS 2017.
|
||||||
- Danfeng Zhang, Aslan Askarov, and Andrew C. Myers. *Language-Based Control and
|
- Danfeng Zhang, Aslan Askarov, and Andrew C. Myers. *Language-Based Control and
|
||||||
|
|
Reference in New Issue