@misc{indiciae54e8fd2a0a36,
  title = {The Trusted Computing Base of the CompCert Verified Compiler},
  author = {David Monniaux and Sylvain Boulmé},
  year = {2022},
  doi = {10.1007/978-3-030-99336-8\_8},
  url = {https://arxiv.org/abs/2201.10280},
  note = {Source identifier: 2201.10280}
}