@misc{indiciae9e2b0bc55eb1,
  title = {Verified Low-Level Programming Embedded in F*},
  author = {Jonathan Protzenko and Jean-Karim Zinzindohoué and Aseem Rastogi and Tahina Ramananandro and Peng Wang and Santiago Zanella-Béguelin and Antoine Delignat-Lavaud and Catalin Hritcu and Karthikeyan Bhargavan and Cédric Fournet and Nikhil Swamy},
  year = {2018},
  doi = {10.1145/3110261},
  url = {https://arxiv.org/abs/1703.00053},
  note = {Source identifier: 1703.00053}
}