Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy. A verified, efficient embedding of a verifiable assembly language. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]
@article{FromherzGHPRS19,
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},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3290376},
researchr = {https://researchr.org/publication/FromherzGHPRS19},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {3},
}