Update?
This commit is contained in:
parent
3b486e7652
commit
4fdeccfa65
|
@ -926,6 +926,22 @@ inproceedings{HHRRW14,
|
||||||
}
|
}
|
||||||
|
|
||||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
|
@talk{ucsc-pig-talk,
|
||||||
|
title = {Differentially-Private Optimal Power Flow},
|
||||||
|
organization = {UCSC Privacy in Graphs Workshop},
|
||||||
|
year = 2018,
|
||||||
|
month = nov,
|
||||||
|
jh = yes,
|
||||||
|
}
|
||||||
|
|
||||||
|
@talk{tpdp18-talk,
|
||||||
|
title = {Composition, Verification, and Differential Privacy (Keynote)},
|
||||||
|
organization = tpdp18,
|
||||||
|
year = 2018,
|
||||||
|
month = oct,
|
||||||
|
jh = yes,
|
||||||
|
}
|
||||||
|
|
||||||
@talk{epfl18-talk,
|
@talk{epfl18-talk,
|
||||||
title = {From Probabilistic Coupling to Relational Program Logics},
|
title = {From Probabilistic Coupling to Relational Program Logics},
|
||||||
organization = {Programming Languages and Verification Workshop, \'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
|
organization = {Programming Languages and Verification Workshop, \'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
|
||||||
|
@ -7284,4 +7300,3 @@ url={https://doi.org/10.1007/3-540-48224-5_35}
|
||||||
biburl = {https://dblp.org/rec/bib/conf/uss/TramerZJRR16},
|
biburl = {https://dblp.org/rec/bib/conf/uss/TramerZJRR16},
|
||||||
bibsource = {dblp computer science bibliography, https://dblp.org}
|
bibsource = {dblp computer science bibliography, https://dblp.org}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue