A Verified, Efficient Embedding of a Verifiable Assembly Language. Fromherz, A.; Giannarakis, N.; Hawblitzel, C.; Parno, B.; Rastogi, A.; and Swamy, N. PACMPL, 2019.
A Verified, Efficient Embedding of a Verifiable Assembly Language [pdf]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