BibTeX record conf/asplos/ZalivaMA0DRC0SW24

download as .bib file

@inproceedings{DBLP:conf/asplos/ZalivaMA0DRC0SW24,
  author       = {Vadim Zaliva and
                  Kayvan Memarian and
                  Ricardo Almeida and
                  Jessica Clarke and
                  Brooks Davis and
                  Alexander Richardson and
                  David Chisnall and
                  Brian Campbell and
                  Ian Stark and
                  Robert N. M. Watson and
                  Peter Sewell},
  editor       = {Rajiv Gupta and
                  Nael B. Abu{-}Ghazaleh and
                  Madan Musuvathi and
                  Dan Tsafrir},
  title        = {Formal Mechanised Semantics of {CHERI} {C:} Capabilities, Undefined
                  Behaviour, and Provenance},
  booktitle    = {Proceedings of the 29th {ACM} International Conference on Architectural
                  Support for Programming Languages and Operating Systems, Volume 1,
                  {ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024},
  pages        = {181--196},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3617232.3624859},
  doi          = {10.1145/3617232.3624859},
  timestamp    = {Thu, 08 Aug 2024 16:16:26 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/ZalivaMA0DRC0SW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.