BibTeX record conf/csfw/DraganDEGHRRS22

• > Home > conf/csfw/DraganDEGHRRS22

@inproceedings{DBLP:conf/csfw/DraganDEGHRRS22,
  author       = {Constantin Catalin Dragan and
                  Fran{\c{c}}ois Dupressoir and
                  Ehsan Estaji and
                  Kristian Gj{\o}steen and
                  Thomas Haines and
                  Peter Y. A. Ryan and
                  Peter B. R{\o}nne and
                  Morten Rotvold Solberg},
  title        = {Machine-Checked Proofs of Privacy Against Malicious Boards for Selene
                  {\&} Co},
  booktitle    = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
                  Israel, August 7-10, 2022},
  pages        = {335--347},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/CSF54842.2022.9919663},
  doi          = {10.1109/CSF54842.2022.9919663},
  timestamp    = {Sun, 13 Nov 2022 17:52:18 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/DraganDEGHRRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}