BibTeX record conf/iccad/NunesHJRT23

download as .bib file

@inproceedings{DBLP:conf/iccad/NunesHJRT23,
  author       = {Ivan De Oliveira Nunes and
                  Seoyeon Hwang and
                  Sashidhar Jakkamsetti and
                  Norrathep Rattanavipanon and
                  Gene Tsudik},
  title        = {{\textdollar}{\textbackslash}mathcal\{P\}{\textbackslash}text\{ARseL\}{\textdollar}:
                  Towards a Verified Root-of-Trust Over seL4},
  booktitle    = {{IEEE/ACM} International Conference on Computer Aided Design, {ICCAD}
                  2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICCAD57390.2023.10323832},
  doi          = {10.1109/ICCAD57390.2023.10323832},
  timestamp    = {Wed, 03 Jan 2024 08:34:26 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/NunesHJRT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics