Inproceedings,
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.
V. Zaliva, K. Memarian, R. Almeida, J. Clarke, B. Davis, A. Richardson, D. Chisnall, B. Campbell, I. Stark, R. Watson, and P. Sewell.ASPLOS (1), page 181-196. ACM, (2024)
Meta data
- BibTeX key
- conf/asplos/ZalivaMA0DRC0SW24
- entry type
- inproceedings
- booktitle
- ASPLOS (1)
- year
- 2024
- pages
- 181-196
- publisher
- ACM
- crossref
- conf/asplos/2024-1
- ee
- https://doi.org/10.1145/3617232.3624859
- url
- http://dblp.uni-trier.de/db/conf/asplos/asplos2024-1.html#ZalivaMA0DRC0SW24
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/asplos/ZalivaMA0DRC0SW24
%A Zaliva, Vadim
%A Memarian, Kayvan
%A Almeida, Ricardo
%A Clarke, Jessica
%A Davis, Brooks
%A Richardson, Alexander
%A Chisnall, David
%A Campbell, Brian
%A Stark, Ian
%A Watson, Robert N. M.
%A Sewell, Peter
%B ASPLOS (1)
%D 2024
%E Gupta, Rajiv
%E Abu-Ghazaleh, Nael B.
%E Musuvathi, Madan
%E Tsafrir, Dan
%I ACM
%K dblp
%P 181-196
%T Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.
%U http://dblp.uni-trier.de/db/conf/asplos/asplos2024-1.html#ZalivaMA0DRC0SW24
@inproceedings{conf/asplos/ZalivaMA0DRC0SW24,
added-at = {2024-08-08T00:00:00.000+0200},
author = {Zaliva, Vadim and Memarian, Kayvan and Almeida, Ricardo and Clarke, Jessica and Davis, Brooks and Richardson, Alexander and Chisnall, David and Campbell, Brian and Stark, Ian and Watson, Robert N. M. and Sewell, Peter},
biburl = {https://www.bibsonomy.org/bibtex/281e936d0eb8219a5f452349f613ce876/dblp},
booktitle = {ASPLOS (1)},
crossref = {conf/asplos/2024-1},
editor = {Gupta, Rajiv and Abu-Ghazaleh, Nael B. and Musuvathi, Madan and Tsafrir, Dan},
ee = {https://doi.org/10.1145/3617232.3624859},
interhash = {1ab812009f48ea18b108f06c0f6ffb0e},
intrahash = {81e936d0eb8219a5f452349f613ce876},
keywords = {dblp},
pages = {181-196},
publisher = {ACM},
timestamp = {2024-08-12T07:30:07.000+0200},
title = {Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.},
url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2024-1.html#ZalivaMA0DRC0SW24},
year = 2024
}