@inproceedings{DBLP:conf/ccs/BartheBDFGSZ16,
author = {Gilles Barthe and
Sonia Bela{\"{\i}}d and
Fran{\c{c}}ois Dupressoir and
Pierre{-}Alain Fouque and
Benjamin Gr{\'{e}}goire and
Pierre{-}Yves Strub and
R{\'{e}}becca Zucchini},
title = {Strong Non-Interference and Type-Directed Higher-Order Masking},
booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Vienna, Austria, October 24-28, 2016},
pages = {116--129},
year = {2016},
crossref = {DBLP:conf/ccs/2016},
url = {https://doi.org/10.1145/2976749.2978427},
doi = {10.1145/2976749.2978427},
timestamp = {Tue, 06 Nov 2018 11:07:29 +0100},
biburl = {https://dblp.org/rec/bib/conf/ccs/BartheBDFGSZ16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2016,
editor = {Edgar R. Weippl and
Stefan Katzenbeisser and
Christopher Kruegel and
Andrew C. Myers and
Shai Halevi},
title = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Vienna, Austria, October 24-28, 2016},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976749},
isbn = {978-1-4503-4139-4},
timestamp = {Mon, 24 Oct 2016 15:38:42 +0200},
biburl = {https://dblp.org/rec/bib/conf/ccs/2016},
bibsource = {dblp computer science bibliography, https://dblp.org}
}