Strong Non-Interference and Type-Directed Higher-Order Masking

Strong Non-Interference and Type-Directed Higher-Order Masking. Barthe, G., Belaïd, S., Dupressoir, F., Fouque, P., Grégoire, B., Strub, P., & Zucchini, R. In Weippl, E. R., Katzenbeisser, S., Kruegel, C., Myers, A. C., & Halevi, S., editors, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016, pages 116–129, 2016. ACM.

Paper doi bibtex 1 download

@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},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ccs/BartheBDFGSZ16.bib},
  booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on
Computer and Communications Security, Vienna,
Austria, October 24-28, 2016},
  doi = {10.1145/2976749.2978427},
  editor = {Edgar R. Weippl and Stefan Katzenbeisser and
Christopher Kruegel and Andrew C. Myers and
Shai Halevi},
  isbn = {978-1-4503-4139-4},
  pages = {116--129},
  publisher = {{ACM}},
  timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
  title = {Strong Non-Interference and Type-Directed
Higher-Order Masking},
  url = {https://doi.org/10.1145/2976749.2978427},
  year = {2016}
}

Downloads: 1