by Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi and Nikhil Swamy
Reference:
A Verified, Efficient Embedding of a Verifiable Assembly Language (Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi and Nikhil Swamy), In PACMPL, 2019.
Bibtex Entry:
@article{valefstar,
title = {A Verified, Efficient Embedding of a Verifiable Assembly Language},
author = {Aymeric Fromherz and
Nick Giannarakis and
Chris Hawblitzel and
Bryan Parno and
Aseem Rastogi and
Nikhil Swamy},
journal = {{PACMPL}},
number = {{POPL}},
year = 2019,
url = {https://github.com/project-everest/project-everest.github.io/raw/master/assets/vale-popl.pdf},
}