%0 Conference Paper %1 conf/sp/NienhuisJBFR0NN20 %A Nienhuis, Kyndylan %A Joannou, Alexandre %A Bauereiss, Thomas %A Fox, Anthony C. J. %A Roe, Michael %A Campbell, Brian %A Naylor, Matthew %A Norton, Robert M. %A Moore, Simon W. %A Neumann, Peter G. %A Stark, Ian %A Watson, Robert N. M. %A Sewell, Peter %B SP %D 2020 %I IEEE %K dblp %P 1003-1020 %T Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. %U http://dblp.uni-trier.de/db/conf/sp/sp2020.html#NienhuisJBFR0NN20

@inproceedings{conf/sp/NienhuisJBFR0NN20, added-at = {2023-11-12T00:00:00.000+0100}, author = {Nienhuis, Kyndylan and Joannou, Alexandre and Bauereiss, Thomas and Fox, Anthony C. J. and Roe, Michael and Campbell, Brian and Naylor, Matthew and Norton, Robert M. and Moore, Simon W. and Neumann, Peter G. and Stark, Ian and Watson, Robert N. M. and Sewell, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2de88606e01f6a00415fbf02e528b7d73/dblp}, booktitle = {SP}, crossref = {conf/sp/2020}, ee = {https://doi.org/10.1109/SP40000.2020.00055}, interhash = {098ab76c06b0f143911c74ac3e4bb346}, intrahash = {de88606e01f6a00415fbf02e528b7d73}, keywords = {dblp}, pages = {1003-1020}, publisher = {IEEE}, timestamp = {2024-04-10T00:01:30.000+0200}, title = {Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2020.html#NienhuisJBFR0NN20}, year = 2020 }