BibTeX record conf/sp/NienhuisJBFR0NN20

• > Home > conf/sp/NienhuisJBFR0NN20

@inproceedings{DBLP:conf/sp/NienhuisJBFR0NN20,
  author       = {Kyndylan Nienhuis and
                  Alexandre Joannou and
                  Thomas Bauereiss and
                  Anthony C. J. Fox and
                  Michael Roe and
                  Brian Campbell and
                  Matthew Naylor and
                  Robert M. Norton and
                  Simon W. Moore and
                  Peter G. Neumann and
                  Ian Stark and
                  Robert N. M. Watson and
                  Peter Sewell},
  title        = {Rigorous engineering for hardware security: Formal modelling and proof
                  in the {CHERI} design and implementation process},
  booktitle    = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
                  CA, USA, May 18-21, 2020},
  pages        = {1003--1020},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SP40000.2020.00055},
  doi          = {10.1109/SP40000.2020.00055},
  timestamp    = {Sun, 12 Nov 2023 02:10:02 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/NienhuisJBFR0NN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}