%0 Thesis %1 phd/ethos/Richardson19 %A Richardson, Alexander %D 2019 %K dblp %T Complete spatial safety for C and C++ using CHERI capabilities.

@phdthesis{phd/ethos/Richardson19, added-at = {2022-04-05T00:00:00.000+0200}, author = {Richardson, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2543b4abcb1f6ceb24bf7957a9322a6f9/dblp}, ee = {https://doi.org/10.17863/CAM.54548}, interhash = {b2006c7848c2b018d115bff0b5164aac}, intrahash = {543b4abcb1f6ceb24bf7957a9322a6f9}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Cambridge, UK}, timestamp = {2024-04-09T08:45:18.000+0200}, title = {Complete spatial safety for C and C++ using CHERI capabilities.}, year = 2019 }