A Verified, Efficient Embedding of a Verifiable Assembly Language (bibtex)
by , , , , ,
Reference:
A Verified, Efficient Embedding of a Verifiable Assembly Language (Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, 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},
}
Powered by bibtexbrowser