A Verified, Efficient Embedding of a Verifiable Assembly Language. Fromherz, A., Giannarakis, N., Hawblitzel, C., Parno, B., Rastogi, A., & Swamy, N. PACMPL, 2019. Paper bibtex @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},
}
Downloads: 0
{"_id":"HSMeYoZRsoMbFQzf7","bibbaseid":"fromherz-giannarakis-hawblitzel-parno-rastogi-swamy-averifiedefficientembeddingofaverifiableassemblylanguage-2019","authorIDs":[],"author_short":["Fromherz, A.","Giannarakis, N.","Hawblitzel, C.","Parno, B.","Rastogi, A.","Swamy, N."],"bibdata":{"bibtype":"article","type":"article","title":"A Verified, Efficient Embedding of a Verifiable Assembly Language","author":[{"firstnames":["Aymeric"],"propositions":[],"lastnames":["Fromherz"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Giannarakis"],"suffixes":[]},{"firstnames":["Chris"],"propositions":[],"lastnames":["Hawblitzel"],"suffixes":[]},{"firstnames":["Bryan"],"propositions":[],"lastnames":["Parno"],"suffixes":[]},{"firstnames":["Aseem"],"propositions":[],"lastnames":["Rastogi"],"suffixes":[]},{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]}],"journal":"PACMPL","number":"POPL","year":"2019","url":"https://github.com/project-everest/project-everest.github.io/raw/master/assets/vale-popl.pdf","bibtex":"@article{valefstar,\n title = {A Verified, Efficient Embedding of a Verifiable Assembly Language},\n author = {Aymeric Fromherz and\n Nick Giannarakis and\n Chris Hawblitzel and\n Bryan Parno and\n Aseem Rastogi and\n Nikhil Swamy},\n journal = {{PACMPL}},\n number = {{POPL}},\n year = 2019,\n url = {https://github.com/project-everest/project-everest.github.io/raw/master/assets/vale-popl.pdf},\n}\n\n","author_short":["Fromherz, A.","Giannarakis, N.","Hawblitzel, C.","Parno, B.","Rastogi, A.","Swamy, N."],"key":"valefstar","id":"valefstar","bibbaseid":"fromherz-giannarakis-hawblitzel-parno-rastogi-swamy-averifiedefficientembeddingofaverifiableassemblylanguage-2019","role":"author","urls":{"Paper":"https://github.com/project-everest/project-everest.github.io/raw/master/assets/vale-popl.pdf"},"downloads":0},"bibtype":"article","biburl":"http://fstar-lang.org/fstar.bib","creationDate":"2020-07-12T03:02:49.260Z","downloads":0,"keywords":[],"search_terms":["verified","efficient","embedding","verifiable","assembly","language","fromherz","giannarakis","hawblitzel","parno","rastogi","swamy"],"title":"A Verified, Efficient Embedding of a Verifiable Assembly Language","year":2019,"dataSources":["eyMWQ4bjnGX3pP6cA"]}