TY  - RPRT
TI  - Verified Low-Level Programming Embedded in F*
AU  - Jonathan Protzenko
AU  - Jean-Karim Zinzindohoué
AU  - Aseem Rastogi
AU  - Tahina Ramananandro
AU  - Peng Wang
AU  - Santiago Zanella-Béguelin
AU  - Antoine Delignat-Lavaud
AU  - Catalin Hritcu
AU  - Karthikeyan Bhargavan
AU  - Cédric Fournet
AU  - Nikhil Swamy
PY  - 2018
DO  - 10.1145/3110261
UR  - https://arxiv.org/abs/1703.00053
ID  - 1703.00053
ER  -